X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler.pure.lisp;h=b3c9c0e4efee3f2129d320e02f9f733738f9670b;hb=6596b18b95780986ff4eb511ab384da138adbb58;hp=633efeff2640a02cbc829a93c5dd30e51b6ee7d0;hpb=99a669b8fc3624c6b5aa68580829f50288169c31;p=sbcl.git

diff --git a/tests/compiler.pure.lisp b/tests/compiler.pure.lisp
index 633efef..b3c9c0e 100644
--- a/tests/compiler.pure.lisp
+++ b/tests/compiler.pure.lisp
@@ -3935,3 +3935,10 @@
 (with-test (:name (:bug-486812 double-float))
   (compile nil `(lambda ()
                   (sb-kernel:make-double-float -1 0))))
+
+(with-test (:name :bug-729765)
+  (compile nil `(lambda (a b)
+                  (declare ((integer 1 1) a)
+                           ((integer 0 1) b)
+                           (optimize debug))
+                  (lambda () (< b a)))))