X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Farith.pure.lisp;h=3cc17fa8484806b0ddbb1129bae171d36c4aeed3;hb=1af3faa2b79125b774c2182cab841ed7ee555bed;hp=25981fc9794de546969047798cb5d861cde3fbd3;hpb=60beb67fb92c33a934ad7710692d779760bcc39a;p=sbcl.git

diff --git a/tests/arith.pure.lisp b/tests/arith.pure.lisp
index 25981fc..3cc17fa 100644
--- a/tests/arith.pure.lisp
+++ b/tests/arith.pure.lisp
@@ -258,3 +258,9 @@
   (test 32 double-float positive)
   (test 32 single-float negative)
   (test 32 single-float positive))
+
+;; x86-64 sign-extension bug found using pfdietz's random tester.
+(assert (= 286142502
+	   (funcall (lambda () 
+		      (declare (notinline logxor)) 
+		      (min (logxor 0 0 0 286142502))))))