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

Bug #1742190 reported by Paul F. Dietz on 2018-01-09
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Undecided
Unassigned

Bug Description

(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) wrote :

dfde4625790363476732c1bbe854dbc80b8c482a

Changed in sbcl:
status: New → Fix Committed
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers