0.8.8.35:

        * Two new bugs revealed by the post of Dave Roberts.

diff --git a/BUGS b/BUGS
index 5039c67..98bd68c 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -1268,3 +1268,26 @@ WORKAROUND:
   (BUU 1) returns garbage.
 
   The problem is that both EVALs sequentially write to the same LVAR.
+
+304:
+  (Thanks to Dave Roberts.)
+
+    (defun foo (a i)
+      (declare (optimize (speed 3) (safety 0) (space 0) (debug 0)))
+      (declare (type (alien (* (unsigned 8))) a)
+               (type (unsigned-byte 32) i))
+      (deref a i))
+
+  Under recent enough SBCL the output code contains (TWO-ARG-/ (* x 8)
+  8). (Two problems: opaque CAST and modular functions).
+
+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.

diff --git a/version.lisp-expr b/version.lisp-expr
index f3670f7..577d491 100644 (file)
--- 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.8.34"
+"0.8.8.35"