Failed AVER (EQ (SB-C::IR2-LVAR-KIND SB-C::2FIRST) :UNKNOWN)

Bug #1655011 reported by Stas Boukarev on 2017-01-09
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
High
Unassigned

Bug Description

(defun foo (x)
  (block nil
    (multiple-value-prog1 (catch 'ct)
      (let ((* (list 10)))
        (declare (dynamic-extent *))
        (if x
            (return))))))
failed AVER: (EQ (SB-C::IR2-LVAR-KIND SB-C::2FIRST) :UNKNOWN)

Reported by Eric Marsden.

in 81bf968a0290f3b240bcfe3b473211e05cae8a8c

Clearly, I haven't actually been fixing these stack analysis / vestigial exit bugs, merely driving them to become more subtle. Evolution in action, apparently.

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

Other bug subscribers