Loop in constraint propagation, with progv forms

[Paul F. Dietz]

(declaim (special *s1* *s7* *s9*))

(lambda (a b)
  (declare (ignorable a b))
  (declare (optimize (debug 2) (safety 0)))
  (let ((v7 (setq b -1))
        (v9 10))
    (if (<= v9 v7)
        (progv
            '(*s9* *s1*)
            (list
             (progv '() () 107752625799844981)
             (incf v7 (setq a 4099)))
          (let ((*s7* 32934904502782202509))
            (let ((v7 1048576))
              (if (>= v9 v7)
                  *s7*
                  30))))
        26)))

==> compiler loops, apparently in constraint propagation

x86-64, "2.4.1.165-4cda0e8e0"