Comment 2 for bug 1446891

Stas Boukarev (stassats) wrote :

Reduced to
(defun test (a)
  (declare (optimize (debug 0) (safety 0)))
  (let ((a (the fixnum a))
        (x 1)
        z)
    (tagbody
     loop
       (let ((y (if (= x 1) #xFFF a)))
         (declare (type fixnum y))
         (block nil
           (flet ((empty ())
                  (ret () (return)))
             (setf z y)
             (empty)
             (ret))))
       (unless (= x 0)
         (setf x 0)
         (go loop)))
    z))

(test 2) => 4095