Loop in constraint propagation

[Paul F. Dietz]

(lambda ()
  (declare (optimize debug))
  (loop for lv1 below 2
        sum
        (prog1
            (dotimes
                (iv4 2
                     (catch 'ct1
                       (loop repeat 2
                             count (oddp
                                    (multiple-value-prog1
                                        (the integer (catch 'ct1 -1))
                                      (catch 'ct1
                                        (loop repeat 1
                                              sum (coerce
                                                   (prog1 0
                                                     (the integer
                                                          (coerce
                                                           (the integer
                                                                (coerce
                                                                 (the integer (catch 'ct7 -10))
                                                                 'integer))
                                                           'integer)))
                                                   'integer))))))))
              (coerce (catch 'ct2 0) 'integer)))))

==> compiler loops in constraint propagation

x86-64, "2.4.1.245-e3c6c5faf"