X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=inline;f=BUGS;h=e3bb4d525f6db876394ac31ee20f3d032f546f94;hb=0e5a40455a1a3cc16cc71ad0f0b063eb4f1f2c3f;hp=365e53762053f536218cbab84e0e19aa81b853d5;hpb=147f24abbb9c39704ebb9e93d8d1ec381b8ff53a;p=sbcl.git

diff --git a/BUGS b/BUGS
index 365e537..e3bb4d5 100644
--- a/BUGS
+++ b/BUGS
@@ -1251,3 +1251,31 @@ WORKAROUND:
       (funcall (aref s ei) x y))
   on sbcl-0.8.7.36/X86/Linux causes a BUG to be signalled:
     full call to SB-KERNEL:DATA-VECTOR-REF
+
+303: "nonlinear LVARs" (aka MISC.293)
+    (defun buu (x)
+      (multiple-value-call #'list
+        (block foo
+          (multiple-value-prog1
+              (eval '(values :a :b :c))
+            (catch 'bar
+              (if (> x 0)
+                  (return-from foo
+                    (eval `(if (> ,x 1)
+                               1
+                               (throw 'bar (values 3 4)))))))))))
+
+  (BUU 1) returns garbage.
+
+  The problem is that both EVALs sequentially write to the same LVAR.
+
+305:
+  (Reported by Dave Roberts.)
+  Local INLINE/NOTINLINE declaration removes local FTYPE declaration:
+
+    (defun quux (x)
+      (declare (ftype (function () (integer 0 10)) fee)
+               (inline fee))
+      (1+ (fee)))
+
+  uses generic arithmetic with INLINE and fixnum without.