failed AVER: (EQ (BASIC-COMBINATION-KIND NODE) LOCAL)
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
High
|
Unassigned |
Bug Description
(defparameter *f5*
'(lambda (a b c)
(declare (notinline max))
(declare (optimize (speed 1) (space 0) (safety 0) (debug 3) (compilation-speed 0)))
(labels ((%f3 (f3-1) 0))
(tagbody
(logior (max (go 0) (complex (progv '(*s2*) (list b) *s2*) 0))
(multiple-
(values (%f3 (catch 'ct5 (%f3 (go 0)))))))
0))))
* (compile nil *f5*)
debugger invoked on a SB-INT:BUG in thread
#<THREAD "main thread" RUNNING {1003016813}>:
failed AVER: (EQ (BASIC-
This is probably a bug in SBCL itself. (Alternatively, SBCL might have been
corrupted by bad user code, e.g. by an undefined Lisp operation like
(FMAKUNBOUND 'COMPILE), or by stray pointers from alien code or from unsafe
Lisp code; or there might be a bug in the OS or hardware that SBCL is running
on.) If it seems to be a bug in SBCL itself, the maintainers would like to
know about it. Bug reports are welcome on the SBCL mailing lists, which you
can find at <http://
Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.
restarts (invokable by number or by possibly-
0: [ABORT] Exit debugger, returning to top level.
(SB-INT:BUG "~@<failed AVER: ~2I~_~A~:>" (EQ (SB-C::
0] 0
Found by random testing on sbcl 1.2.5.
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
Also, in that test, *s2* is declared special.