diff --git a/compiler/life.lisp b/compiler/life.lisp
index 21ff5d37c1a6cf507ee33cd1ba3eb8aa4d3a5c2c..d52ff4fe4c60a90ed441c59fc29c4eee67ac6b04 100644
--- a/compiler/life.lisp
+++ b/compiler/life.lisp
@@ -317,6 +317,7 @@
     (do ((op (do ((op ops (tn-ref-across op))
 		  (i 0 (1+ i)))
 		 ((= i (length fixed)) op))
+	     (declare (type index i))
 	     (tn-ref-across op)))
 	((null op))
       (let ((tn (tn-ref-tn op)))
@@ -368,6 +369,7 @@
 (defun lifetime-pre-pass (component)
   (declare (type component component))
   (let ((counter -1))
+    (declare (type fixnum counter))
     (do-blocks-backwards (block component)
       (let ((2block (block-info block)))
 	(do ((lose (find-local-references 2block)