+;;; compiler failure "NIL is not of type LVAR"
+(defun #:foo (x)
+ (progn (truly-the integer x)
+ (1+ x)))
+
+(defun #:foo (a b c)
+ (declare (type (integer -5498929 389890) a)
+ (type (integer -5029571274946 48793670) b)
+ (type (integer 9221496 260169518304) c)
+ (ignorable a b c)
+ (optimize (speed 3) (safety 1) (debug 1)))
+ (- (mod 1020122 (min -49 -420))
+ (logandc1
+ (block b2 (mod c (min -49 (if t (return-from b2 1582) b))))
+ (labels ((%f14 ()
+ (mod a (max 76 8))))
+ b))))
+
+;;; bug 291 reported by Nikodemus Siivola (modified version)
+(defstruct line
+ (%chars ""))
+(defun update-window-imag (line)
+ (tagbody
+ TOP
+ (if (null line)
+ (go DONE)
+ (go TOP))
+ DONE
+ (unless (eq current the-sentinel)
+ (let* ((cc (car current))
+ (old-line (dis-line-line cc)))
+ (if (eq old-line line)
+ (do ((chars (line-%chars line) nil))
+ (())
+ (let* ()
+ (multiple-value-call
+ #'(lambda (&optional g2740 g2741 &rest g2742)
+ (declare (ignore g2742))
+ (catch 'foo
+ (values (setq string g2740) (setq underhang g2741))))
+ (foo)))
+ (setf (dis-line-old-chars cc) chars)))))))
+
+;;; and similar cases found by Paul Dietz
+(defun #:foo (a b c)
+ (declare (optimize (speed 0) (safety 3) (debug 3)))
+ (FLET ((%F11 ()
+ (BLOCK B6
+ (LET ((V2 B))
+ (IF (LDB-TEST (BYTE 27 14) V2)
+ (LET ((V6
+ (FLET ((%F7 ()
+ B))
+ -1)))
+ (RETURN-FROM B6 V2))
+ C)))))
+ A))
+(defun #:foo (a b c)
+ (declare (optimize (speed 0) (safety 3) (debug 3)))
+ (FLET ((%F15 ()
+ (BLOCK B8
+ (LET ((V5 B))
+ (MIN A (RETURN-FROM B8 C))))))
+ C))
+
+;;; bug 292, reported by Paul Dietz
+(defun #:foo (C)
+ (DECLARE (TYPE (INTEGER -5945502333 12668542) C)
+ (OPTIMIZE (SPEED 3)))
+ (LET ((V2 (* C 12)))
+ (- (MAX (IF (/= 109335113 V2) -26479 V2)
+ (DEPOSIT-FIELD 311
+ (BYTE 14 28)
+ (MIN (MAX 521326 C) -51))))))
+
+;;; zombie variables, arising from constraints
+(defun #:foo (A B)
+ (DECLARE (TYPE (INTEGER -40945116 24028306) B)
+ (OPTIMIZE (SPEED 3)))
+ (LET ((V5 (MIN 31883 (LOGCOUNT A))))
+ (IF (/= B V5) (IF (EQL 122911784 V5) -43765 1487) B)))
+
+;;; let-conversion of a function into deleted one
+(defun #:foo (a c)
+ (declare (type (integer -883 1566) a)
+ (type (integer -1 0) c)
+ (optimize (speed 3) (safety 1) (debug 1)))
+ (flet ((%f8 () c))
+ (flet ((%f5 ()
+ (if (< c a)
+ (return-from %f5 (if (= -4857 a) (%f8) (%f8)))
+ c)))
+ (if (<= 11 c) (%f5) c))))
+
+;;; two bugs: "aggressive" deletion of optional entries and problems
+;;; of FIND-RESULT-TYPE in dealing with deleted code; reported by
+;;; Nikodemus Siivola (simplified version)
+(defun lisp-error-error-handler (condition)
+ (invoke-debugger condition)
+ (handler-bind ()
+ (unwind-protect
+ (with-simple-restart
+ (continue "return to hemlock's debug loop.")
+ (invoke-debugger condition))
+ (device))))
+
+;;;
+(defun #:foo ()
+ (labels ((foo (x)
+ (return-from foo x)
+ (block u
+ (labels ((bar (x &optional (y (return-from u)))
+ (list x y (apply #'bar (fee)))))
+ (list (bar 1) (bar 1 2))))
+ (1+ x)))
+ #'foo))
+
+(defun #:foo (b c)
+ (declare (type (integer 0 1) b) (optimize (speed 3)))
+ (flet ((%f2 () (lognor (block b5 138) c)))
+ (if (not (or (= -67399 b) b))
+ (deposit-field (%f2) (byte 11 8) -3)
+ c)))
+
+;;; bug 214: compiler failure
+(defun bug214a1 ()
+ (declare (optimize (sb-ext:inhibit-warnings 0) (compilation-speed 2)))
+ (flet ((foo (&key (x :vx x-p)) (list x x-p)))
+ (foo :x 2)))
+
+(defun bug214a2 ()
+ (declare (optimize (sb-ext:inhibit-warnings 0) (compilation-speed 2)))
+ (lambda (x) (declare (fixnum x)) (if (< x 0) 0 (1- x))))
+
+;;; this one was reported by rydis on #lisp
+(defun 214b (n)
+ (declare (fixnum n))
+ (declare (optimize (speed 2) (space 3)))
+ (dotimes (k n)
+ (princ k)))
+
+;;; bug reported by Brian Downing: incorrect detection of MV-LET
+(DEFUN #:failure-testcase (SESSION)
+ (LABELS ((CONTINUATION-1 ()
+ (PROGN
+ (IF (foobar-1 SESSION)
+ (CONTINUATION-2))
+ (LET ((CONTINUATION-3
+ #'(LAMBDA ()
+ (MULTIPLE-VALUE-CALL #'CONTINUATION-2
+ (CONTINUATION-1)))))
+ (foobar-2 CONTINUATION-3))))
+ (CONTINUATION-2 (&REST OTHER-1)
+ (DECLARE (IGNORE OTHER-1))))
+ (continuation-1)))
+
+;;; reported by antifuchs/bdowning/etc on #lisp: ITERATE failure on
+;;; (iter (for i in '(1 2 3)) (+ i 50))
+(defun values-producer () (values 1 2 3 4 5 6 7))
+
+(defun values-consumer (fn)
+ (let (a b c d e f g h)
+ (multiple-value-bind (aa bb cc dd ee ff gg hh) (funcall fn)
+ (setq a aa)
+ (setq b bb)
+ (setq c cc)
+ (setq d dd)
+ (setq e ee)
+ (setq f ff)
+ (setq g gg)
+ (setq h hh)
+ (values a b c d e f g h))))
+
+(let ((list (multiple-value-list (values-consumer #'values-producer))))
+ (assert (= (length list) 8))
+ (assert (null (nth 7 list))))
+
+;;; failed on Alpha prior to sbcl-0.8.10.30
+(defun lotso-values ()
+ (values 0 1 2 3 4 5 6 7 8 9
+ 0 1 2 3 4 5 6 7 8 9
+ 0 1 2 3 4 5 6 7 8 9
+ 0 1 2 3 4 5 6 7 8 9
+ 0 1 2 3 4 5 6 7 8 9
+ 0 1 2 3 4 5 6 7 8 9
+ 0 1 2 3 4 5 6 7 8 9
+ 0 1 2 3 4 5 6 7 8 9
+ 0 1 2 3 4 5 6 7 8 9
+ 0 1 2 3 4 5 6 7 8 9))
+
+;;; bug 313: source transforms were "lisp-1"
+(defun srctran-lisp1-1 (cadr) (if (functionp cadr) (funcall cadr 1) nil))
+(assert (eql (funcall (eval #'srctran-lisp1-1) #'identity) 1))
+(without-package-locks
+ ;; this be a nasal demon, but test anyways
+ (defvar caar))
+(defun srctran-lisp1-2 (caar) (funcall (sb-ext:truly-the function caar) 1))
+(assert (eql (funcall (eval #'srctran-lisp1-2) #'identity) 1))