From 2e9def5473ebcdf7b0d26705c252da476b7ea145 Mon Sep 17 00:00:00 2001 From: Alexey Dejneka Date: Thu, 25 Sep 2003 05:17:23 +0000 Subject: [PATCH] 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. --- src/compiler/locall.lisp | 2 +- tests/compiler.impure-cload.lisp | 13 +++++++++++++ version.lisp-expr | 2 +- 3 files changed, 15 insertions(+), 2 deletions(-) diff --git a/src/compiler/locall.lisp b/src/compiler/locall.lisp index 661896a..a1253e2 100644 --- 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 --- 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 --- 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" -- 1.7.10.4