X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=tests%2Fcompiler.pure-cload.lisp;h=9fe19519fdfa61c0ba34d81f00adc10f702a2deb;hb=94cc1963322581d9e4b6bbd96c399a0507c601be;hp=a29eb992d05f38cf1d8a975ceaa538f1bc0a6beb;hpb=17794352c2ef078a1fc3cdd306f17f7328edf40b;p=sbcl.git

diff --git a/tests/compiler.pure-cload.lisp b/tests/compiler.pure-cload.lisp
index a29eb99..9fe1951 100644
--- a/tests/compiler.pure-cload.lisp
+++ b/tests/compiler.pure-cload.lisp
@@ -69,6 +69,20 @@
   (assert (equal (foo '(1 2 #\a 3)) '((1) (2))))
   (assert (equal (foo '(1 2 x 3)) 'x)))
 
+;;; compiler failure found by Paul Dietz' randomized tortuter
+(defun #:foo (a b c d)
+  (declare (type (integer 240 100434465) a)
+           (optimize (speed 3) (safety 1) (debug 1)))
+  (logxor
+   (if (ldb-test (byte 27 4) d)
+       -1
+       (max 55546856 -431))
+   (logorc2
+    (if (>= 0 b)
+        (if (> b c) (logandc2 c d) (if (> d 224002) 0 d))
+        (signum (logior c b)))
+    (logior a -1))))
+
 ;;; bug 282
 ;;;
 ;;; Verify type checking policy in full calls: the callee is supposed