0.8.4.2:

[sbcl.git] / tests / compiler.pure-cload.lisp

diff --git a/tests/compiler.pure-cload.lisp b/tests/compiler.pure-cload.lisp
index c7c564c..85b484d 100644 (file)
--- a/tests/compiler.pure-cload.lisp
+++ b/tests/compiler.pure-cload.lisp
@@ -96,12 +96,35 @@
           (optimize speed))
   (* x (* y x)))
 
+(defun #:foo (b)
+  (declare (type (integer -290488443 2) b)
+           (optimize (speed 3) (safety 1) (debug 1)))
+  (let ((v3 (min -1720 b))) (max v3 (logcount (if (= v3 b) b b)))))
+
+(defun #:foo (d)
+  (let ((v7 (flet ((%f16 () (labels ((%f3 () -8)) (%f3))))
+              (labels ((%f7 () (%f16)))  d))))
+    132887443))
+
+;;; RESULT-FORM in DO is not contained in the implicit TAGBODY
+(assert (eq (handler-case (eval `(do ((x '(1 2 3) (cdr x)))
+                                     ((endp x) (go :loop))
+                                  :loop
+                                   (unless x (return :bad))))
+              (error () :good))
+            :good))
+(assert (eq (handler-case (eval `(do* ((x '(1 2 3) (cdr x)))
+                                      ((endp x) (go :loop))
+                                  :loop
+                                   (unless x (return :bad))))
+              (error () :good))
+            :good))
+
 ;;; bug 282
 ;;;
 ;;; Verify type checking policy in full calls: the callee is supposed
 ;;; to perform check, but the results should not be used before the
 ;;; check will be actually performed.
-#+nil
 (locally
     (declare (optimize (safety 3)))
   (flet ((bar (f a)