X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler.pure.lisp;h=d4608173a4348dc9fd8edb6464217da3858a4340;hb=81e608991b9f616a412564b26186fa29933d814c;hp=cd96971eb9ae2ac54c92635ec5c31f9a927db961;hpb=3d6751d99d2bf224ccbc18e133f23aff72fb708f;p=sbcl.git

diff --git a/tests/compiler.pure.lisp b/tests/compiler.pure.lisp
index cd96971..d460817 100644
--- a/tests/compiler.pure.lisp
+++ b/tests/compiler.pure.lisp
@@ -2276,3 +2276,14 @@
                           (funcall fun
                                    '((foo (bar)))))))))
     (funcall fun)))
+
+(with-test (:name :high-debug-known-function-transform-with-optional-arguments)
+  (compile nil '(lambda (x y)
+               (declare (optimize sb-c::preserve-single-use-debug-variables))
+               (if (block nil
+                     (some-unknown-function
+                      (lambda ()
+                        (return (member x y))))
+                     t)
+                   t
+                   (error "~a" y)))))