From: Alexey Dejneka <adejneka@comail.ru>
Date: Thu, 26 Dec 2002 20:05:02 +0000 (+0000)
Subject: 0.7.10.32:
X-Git-Url: http://repo.macrolet.net/gitweb/?a=commitdiff_plain;h=77ab3779bb218e5c3080304fddefb3956b209547;p=sbcl.git

0.7.10.32:
        New bug.
---

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"