X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=tests%2Fcompiler.pure.lisp;h=e0b1f6117b0343d1a048153bc9d990de7d0b0e1f;hb=51a1a3d4e4f174066958f40983c14abfb7116216;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))))))))