From 0822f3a64e4f37b2c68d87b60a238bc69548a327 Mon Sep 17 00:00:00 2001
From: wlott <wlott>
Date: Wed, 19 Feb 1992 21:53:58 +0000
Subject: [PATCH] Added some type decls so that get-internal-real-time doesn't
 cons.

---
 code/time.lisp | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/code/time.lisp b/code/time.lisp
index 81004346a..d4ed85eff 100644
--- a/code/time.lisp
+++ b/code/time.lisp
@@ -7,7 +7,7 @@
 ;;; Scott Fahlman or slisp-group@cs.cmu.edu.
 ;;;
 (ext:file-comment
-  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/code/time.lisp,v 1.9 1992/02/14 23:45:37 wlott Exp $")
+  "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/code/time.lisp,v 1.10 1992/02/19 21:53:58 wlott Exp $")
 ;;;
 ;;; **********************************************************************
 ;;;
@@ -53,15 +53,17 @@
   finding elapsed time.  See Internal-Time-Units-Per-Second."
   (locally (declare (optimize (speed 3) (safety 0)))
     (multiple-value-bind (ignore seconds useconds) (unix:unix-gettimeofday)
-      (declare (ignore ignore))
+      (declare (ignore ignore) (type (unsigned-byte 32) seconds useconds))
       (let ((base *internal-real-time-base-seconds*)
 	    (uint (truncate useconds
 			    micro-seconds-per-internal-time-unit)))
 	(declare (type (unsigned-byte 32) uint))
 	(cond (base
-	       (+ (* (the (unsigned-byte 32) (- seconds base))
-		     internal-time-units-per-second)
-		  uint))
+	       (truly-the (unsigned-byte 32)
+		    (+ (the (unsigned-byte 32)
+			    (* (the (unsigned-byte 32) (- seconds base))
+			       internal-time-units-per-second))
+		       uint)))
 	      (t
 	       (setq *internal-real-time-base-seconds* seconds)
 	       uint))))))
-- 
GitLab