failed AVER: (EQ (IR2-LVAR-KIND 2FIRST) UNKNOWN)
Bug #533930 reported by
Eric Marsden
This bug affects 2 people
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
High
|
Unassigned |
Bug Description
* (LAMBDA ()
(BLOCK A
(MULTIPLE-
(CATCH 'CT
(CATCH 'CT 43)))))))
debugger invoked on a SB-INT:BUG in thread #<THREAD "initial thread" RUNNING {1002AB4011}>:
failed AVER: (EQ (IR2-LVAR-KIND 2FIRST) UNKNOWN)
(SBCL 1.0.36.13 running on Linux/AMD64)
Changed in sbcl: | |
status: | New → Confirmed |
importance: | Undecided → High |
tags: | added: stack-analysis |
Changed in sbcl: | |
status: | Confirmed → Fix Committed |
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
Better test case, the issue is the DX cons inside the HANDLER-BIND:
(LAMBDA ()
( MULTIPLE- VALUE-PROG1 42
(CATCH 'CT
(let ((x (cons t t)))
(declare (dynamic-extent x))
(RETURN- FROM A (CATCH 'CT (foo x))))))))
(BLOCK A