Apparent infinite loop in compiler

[Paul F. Dietz]

(defun bug021 ()
  (let ((form '(lambda (a b c)
                (declare (type (integer -2776022492258499 1191893593373) a))
                (declare (optimize debug))
                (dotimes (iv3 1 0)
                  ((lambda (v2)
                     (*
                      ((lambda (v4 v5 v9)
                         (dotimes (iv2 2 (dotimes (iv1 0 c) (setf v9 iv3)))
                           (setq v2
                                 (max
                                  c 60720768799468 -15926
                                  -1865374387398883540 v4 b v2))))
                       60720768799468 b 0)))
                   (max
                    (setf c 60075184)
                    (max b b 13 b 228234041797101 iv3 a 8388607 c))))
                )))
    (compile nil form)))

(bug021) ==> does not appear to terminate

x86-64, "2.5.5.76-a7a3127b3"