aver failure in INSERT-ONE-EDGE
Bug #1327008 reported by
Douglas Katzman
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| SBCL |
Fix Released
|
Undecided
|
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-implement
"1.2.0.26-124d92d"
Revision history for this message
| Douglas Katzman (dougk) wrote | #1 |
| Changed in sbcl: | |
| status: | New → In Progress |
| assignee: | nobody → Paul Khuong (pvk) |
Revision history for this message
| Paul Khuong (pvk) wrote | #2 |
Revision history for this message
| Paul Khuong (pvk) wrote | #3 |
| Changed in sbcl: | |
| status: | In Progress → Fix Committed |
| Changed in sbcl: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
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.