X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=inline;f=tests%2Fcompiler.pure.lisp;h=e0b1f6117b0343d1a048153bc9d990de7d0b0e1f;hb=5ee902ed6ceef841efee4a50459ff545293a1d95;hp=282cdb023fceb1250b91293b7a1b98d2a2896a90;hpb=a02f19f746ef4808147de0d3d72700eb06b2253c;p=sbcl.git

diff --git a/tests/compiler.pure.lisp b/tests/compiler.pure.lisp
index 282cdb0..e0b1f61 100644
--- a/tests/compiler.pure.lisp
+++ b/tests/compiler.pure.lisp
@@ -1988,3 +1988,7 @@
                 (space 2) (safety 0) (compilation-speed 0)))
       (unwind-protect 0
         (* (/ (multiple-value-prog1 -29457482 -5602513511) 1))))))))
+
+;; aggressive constant folding (bug #400)
+(assert
+ (eq t (funcall (compile nil '(lambda () (or t (the integer (/ 1 0))))))))