From: Alexey Dejneka <adejneka@comail.ru>
Date: Wed, 19 Nov 2003 08:41:33 +0000 (+0000)
Subject: 0.8.5.47:
X-Git-Url: http://repo.macrolet.net/gitweb/?a=commitdiff_plain;ds=sidebyside;h=e0924e0c54b0a216560d67b9e85a077473bb5952;p=sbcl.git

0.8.5.47:
        * Describe PFD bug MISC.186.
---

diff --git a/BUGS b/BUGS
index 0101f27..f47e869 100644
--- a/BUGS
+++ b/BUGS
@@ -1213,3 +1213,18 @@ WORKAROUND:
   This program violates "unknown values LVAR stack discipline": if INT
   returns, values returned by (EXT) must be removed from under that of
   (INT).
+
+299: (aka PFD MISC.186)
+    * (defun foo ()
+        (declare (optimize (debug 1)))
+        (multiple-value-call #'list
+          (if (eval t) (eval '(values :a :b :c)) nil) ; (*)
+          (catch 'foo (throw 'foo (values :x :y)))))
+    FOO
+    * (foo)
+    (:X :Y)
+
+  Operator THROW is represented with a call of a not returning funny
+  function %THROW, unknown values stack after the call is empty, so
+  the unknown values LVAR (*) is considered to be dead after the call
+  and, thus, before it and is popped by the stack analysis.
diff --git a/version.lisp-expr b/version.lisp-expr
index 94e8515..8ac8c08 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.5.46"
+"0.8.5.47"