Stack analyze failed AVER #2

[Paul F. Dietz]

(defun f362 (a b d e)
  (declare (notinline < > round logxor))
  (declare (optimize (safety 0)))
  (flet ((%f10 ()
           (logxor
            (if d
                (multiple-value-prog1
                    1
                  (return-from %f10
                    (restart-bind nil
                      (round b
                             (if e
                                 (return-from %f10 0)
                                 a)))))
                0)
            (flet ((%f7 (f7-1 &optional &key (key1 e))
                     (return-from %f10
                       (restart-bind nil
                         (prog1 (the integer key1))))))
              (%f7 0)))))
    (flet ((%f7 (f7-3)
             (if (and (> 1 (%f10)) (< d (%f10)))
                 d f7-3)))
      (%f7 e))))
==>

failed AVER: (EQ POP (CAR SB-C::END-STACK))
[...]
  0: (SB-C::ORDER-BLOCK-UVL-SETS #<SB-C::CBLOCK 12 :START c1 {101A934B63}> #<SB-C::CBLOCK 13 :START c2 {101A89E163}>)
  1: (SB-C::ORDER-UVL-SETS #<SB-C:COMPONENT :NAME (FLET %F7 :IN F362) {101A9359E3}>)
  2: (SB-C::STACK-ANALYZE #<SB-C:COMPONENT :NAME (FLET %F7 :IN F362) {101A9359E3}>)
[...]

[Stas Boukarev (stassats)]

a5224c55c634fa25bacb9ec69966fbd9aac755cd