failed AVER: (AND (EQ (SB-C::CTRAN-KIND SB-C::START) :INSIDE-BLOCK) (NOT (SB-C::BLOCK-DELETE-P BLOCK)))

[Paul F. Dietz]

(lambda ()
  (let* ((v7
          (values
           (the integer
                (flet ((%f5 (x) 2))
                  (%f5) ;; bad function call
                  ))
           (progv () () 1)
           )))
    (declare (dynamic-extent v7))
    v7))

===>

failed AVER:
    (AND (EQ (SB-C::CTRAN-KIND SB-C::START) :INSIDE-BLOCK)
         (NOT (SB-C::BLOCK-DELETE-P BLOCK)))

(failure is in IR1)

[Stas Boukarev (stassats)]

dfde4625790363476732c1bbe854dbc80b8c482a