0.8.3.91:

        * Fix bug reported by Paul F. Dietz 2003-09-24 "NIL is not of
          type LVAR": use NODE-DEST in MAYBE-CONVERT-TO-ASSIGNMENT.

diff --git a/src/compiler/locall.lisp b/src/compiler/locall.lisp
index 661896a..a1253e2 100644 (file)
--- a/src/compiler/locall.lisp
+++ b/src/compiler/locall.lisp
@@ -1123,7 +1123,7 @@
     (let ((outside-non-tail-call nil)
          (outside-call nil))
       (when (and (dolist (ref (leaf-refs clambda) t)
-                  (let ((dest (lvar-dest (node-lvar ref))))
+                  (let ((dest (node-dest ref)))
                     (when (or (not dest)
                                (block-delete-p (node-block dest)))
                        (return nil))

diff --git a/tests/compiler.impure-cload.lisp b/tests/compiler.impure-cload.lisp
index 8e668fb..a81fb3f 100644 (file)
--- a/tests/compiler.impure-cload.lisp
+++ b/tests/compiler.impure-cload.lisp
@@ -187,6 +187,19 @@
   (progn (truly-the integer x)
          (1+ x)))
 
+(defun #:foo (a b c)
+  (declare (type (integer -5498929 389890) a)
+           (type (integer -5029571274946 48793670) b)
+           (type (integer 9221496 260169518304) c)
+           (ignorable a b c)
+           (optimize (speed 3) (safety 1) (debug 1)))
+  (- (mod 1020122 (min -49 -420))
+     (logandc1
+      (block b2 (mod c (min -49 (if t (return-from b2 1582) b))))
+      (labels ((%f14 ()
+                 (mod a (max 76 8))))
+        b))))
+
 ;;; bug 291 reported by Nikodemus Siivola (modified version)
 (defstruct line
   (%chars ""))

diff --git a/version.lisp-expr b/version.lisp-expr
index 47d55fc..4466b07 100644 (file)
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -17,4 +17,4 @@
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.8.3.90"
+"0.8.3.91"