aver failure in INSERT-ONE-EDGE

Bug #1327008 reported by Douglas Katzman on 2014-06-06
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Paul Khuong

Bug Description

See attached

* (compile-file "sl-crash.lisp")
debugger invoked on a SB-INT:BUG in thread
#<THREAD "main thread" RUNNING {10742FD673}>:
    failed AVER: (NEQ A B)

* (lisp-implementation-version)

Douglas Katzman (dougk) wrote :
Paul Khuong (pvk) on 2014-06-12
Changed in sbcl:
status: New → In Progress
assignee: nobody → Paul Khuong (pvk)
Paul Khuong (pvk) wrote :

Turns out that we can have multiple global conflicts for the same TN in a single IR2 block. Investigating how that happens in life.lisp. Very likely intentional (quicker than removing duplicates when merging conflicts), but ICBW.

If it's intentional, the fix is 5 lines of patch. If it isn't… we get to fix a long standing bug.

Paul Khuong (pvk) wrote :

Looks like a bug in life.lisp. Testing potential fix.

Paul Khuong (pvk) on 2014-06-15
Changed in sbcl:
status: In Progress → 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

Bug attachments