X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler.pure.lisp;h=ba1eeed36119c0e3077ce9d95542eefb57078b95;hb=9d36021d86b7db7561b2edc40324c8e5229f88b3;hp=3bfaf656dc6844e19367732048be4403fd81bcba;hpb=f49bfb22b950ee41bdfd23de705fa023b3a9848c;p=sbcl.git

diff --git a/tests/compiler.pure.lisp b/tests/compiler.pure.lisp
index 3bfaf65..ba1eeed 100644
--- a/tests/compiler.pure.lisp
+++ b/tests/compiler.pure.lisp
@@ -1656,3 +1656,14 @@
   (dotimes (i 100)
     (when (> (funcall fun t) 9)
       (error "bad RANDOM event"))))
+
+;;; 0.8.17.28-sma.1 lost derived type information.
+(handler-bind ((sb-ext:compiler-note #'error))
+  (compile nil
+    '(lambda (x y v)
+      (declare (optimize (speed 3) (safety 0)))
+      (declare (type (integer 0 80) x)
+       (type (integer 0 11) y)
+       (type (simple-array (unsigned-byte 32) (*)) v))
+      (setf (aref v 0) (* (* x #.(floor (ash 1 32) (* 11 80))) y))
+      nil)))