+;;; bug in LOOP, reported by ??? on c.l.l
+(flet ((foo (l)
+ (loop for x in l
+ when (symbolp x) return x
+ while (numberp x)
+ collect (list x))))
+ (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))))
+
+(defun #:foo (b c)
+ (declare (type (integer -23228343 2) b)
+ (type (integer -115581022 512244512) c)
+ (optimize (speed 3) (safety 1) (debug 1)))
+ (* (* (logorc2 3 (deposit-field 4667947 (byte 14 26) b))
+ (deposit-field b (byte 25 27) -30424886))
+ (dpb b (byte 23 29) c)))
+
+(defun #:foo (x y)
+ (declare (type (integer -1 1000000000000000000000000) x y)
+ (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))
+