From 77ab3779bb218e5c3080304fddefb3956b209547 Mon Sep 17 00:00:00 2001 From: Alexey Dejneka Date: Thu, 26 Dec 2002 20:05:02 +0000 Subject: [PATCH] 0.7.10.32: New bug. --- BUGS | 22 ++++++++++++++-------- version.lisp-expr | 2 +- 2 files changed, 15 insertions(+), 9 deletions(-) diff --git a/BUGS b/BUGS index 0fb8f69..a90c4a5 100644 --- a/BUGS +++ b/BUGS @@ -1190,14 +1190,20 @@ WORKAROUND: 229: (subtypep 'function '(function)) => nil, t. -232: - (shown by Paul Dietz' test suite) - - (loop for v fixnum being each hash-key in ...) - - in 0.7.10.29 signals an error "NIL is not of type FIXNUM". - (fixed in 0.7.10.30) - +233: + Bug in constraint propagation: + + (defun foo (x) + (declare (optimize (speed 2) (safety 3))) + (let ((y 0d0)) + (values + (the double-float x) + (setq y (+ x 1d0)) + (setq x 3d0) + (quux y (+ y 2d0) (* y 3d0))))) + (foo 4) => segmentation violation + + (see usage of CONTINUATION-ASSERTED-TYPE in USE-RESULT-CONSTRAINTS) DEFUNCT CATEGORIES OF BUGS IR1-#: diff --git a/version.lisp-expr b/version.lisp-expr index 5d2b938..e0ee169 100644 --- a/version.lisp-expr +++ b/version.lisp-expr @@ -18,4 +18,4 @@ ;;; versions, especially for internal versions off the main CVS ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".) -"0.7.10.31" +"0.7.10.32" -- 1.7.10.4