Infinite loop in compiler?

[Paul F. Dietz]

(declaim (special *s1*))

(lambda (a b f)
  (declare (optimize (debug 2)))
  ((lambda (v6)
     (dotimes
         (iv4 3
              (dotimes
                  (iv4 0
                       (handler-bind nil
                         (multiple-value-bind (*s1*)
                             (the (satisfies eval)
                                  (let ((*s1* v6)) 1))
                           b)))))
       (the (satisfies eval)
            (if (/= a f) 295 0))
       (if (> 248 a) 2 3)))
   (dotimes
       (iv4 0
            (dotimes
                (iv2 2 (the (satisfies eval) a)))))))

==> does not seem to terminate

x86-64, "2.3.11.167-1ba132815"

[Stas Boukarev (stassats)]

(lambda (a)
  (declare (optimize (debug 2)))
  (let ((v (the (satisfies eval) a)))
    (dotimes (i 3)
      (print (/= a 1))
      (> 248 a))
    v))