Output and backtrace from the oldest broken version.
(The backtrace still looks much the same on current
git head, 1.0.54.108.)
This is SBCL 1.0.28.48, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.
SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses. See the CREDITS and COPYING files in the
distribution for more information.
* (defun f (x)
(declare (optimize speed)
(type (and fixnum a) x))
x)
debugger invoked on a SB-INT:BUG:
failed AVER: (INTEGER-TYPE-P TYPE)
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://sbcl.sourceforge.net/>.
Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL.
restarts (invokable by number or by possibly-abbreviated name):
0: [ABORT] Exit debugger, returning to top level.
Output and backtrace from the oldest broken version.
(The backtrace still looks much the same on current
git head, 1.0.54.108.)
This is SBCL 1.0.28.48, an implementation of ANSI Common Lisp. www.sbcl. org/>.
More information about SBCL is available at <http://
SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses. See the CREDITS and COPYING files in the
distribution for more information.
* (defun f (x)
(declare (optimize speed)
(type (and fixnum a) x))
x)
debugger invoked on a SB-INT:BUG: sbcl.sourceforg e.net/>.
failed AVER: (INTEGER-TYPE-P TYPE)
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:QUIT) to exit from SBCL.
restarts (invokable by number or by possibly- abbreviated name):
0: [ABORT] Exit debugger, returning to top level.
(SB-INT:BUG "~@<failed AVER: ~2I~_~A~ :>")[:EXTERNAL]
0] backtrace
0: (SB-INT:BUG "~@<failed AVER: ~2I~_~A~ :>")[:EXTERNAL] :%FAILED- AVER (SB-C:: INTEGER- TYPE-P TYPE)) WEAKEN- INTEGER- TYPE #<SB-KERNEL: INTERSECTION- TYPE (AND FIXNUM A)>) INTERSECTION- TYPE (AND FIXNUM A)>) KERNEL: INTERSECTION- TYPE (AND FIXNUM A)> ON-SPEED . 1) (DEBUG . 1) (INHIBIT-WARNINGS . 1) C::MERGE- TAIL-CALLS . 3) (SAFETY . 1) (SPACE . 1) (SPEED . 3))) NEEDING- IR1-ENVIRONMENT -FROM-NODE) ) %WITH-IR1- ENVIRONMENT- FROM-NODE C::COMBINATION NEEDING- IR1-ENVIRONMENT -FROM-NODE) {10026BAEB9}>) ASSERT- LVAR-TYPE KERNEL: INTERSECTION- TYPE (AND FIXNUM A)> ON-SPEED . 1) (DEBUG . 1) (INHIBIT-WARNINGS . 1) C::MERGE- TAIL-CALLS . 3) (SAFETY . 1) (SPACE . 1) (SPEED . 3))) PROPAGATE- TO-ARGS C::COMBINATION BUILT-IN- CLASSOID FUNCTION (read-only)>
:%SOURCE- NAME F
:%DEBUG- NAME NIL BUILT-IN- CLASSOID FUNCTION (read-only)>
:WHERE- FROM :DEFINED C::COMBINATION BUILT-IN- CLASSOID FUNCTION (read-only)> CONVERT- CALL-IF- POSSIBLE
:%SOURCE- NAME F
:%DEBUG- NAME NIL
:KIND NIL
:TYPE #<SB-KERNEL: BUILT-IN- CLASSOID FUNCTION (read-only)>
:WHERE- FROM :DEFINED
:VARS (X) {10026B62B1}> {10026BA911}> SB-C::COMBINATI ON LOCALL- ANALYZE- FUN-1 SB-C::CLAMBDA
:%SOURCE- NAME F BUILT-IN- CLASSOID FUNCTION (read-only)> NEEDING- IR1-ENVIRONMENT -FROM-NODE) ) %WITH-IR1- ENVIRONMENT- FROM-NODE
:%SOURCE- NAME F
:%DEBUG- NAME NIL
:KIND NIL
:TYPE #<SB-KERNEL: BUILT-IN- CLASSOID FUNCTION (read-only)>
:WHERE- FROM :DEFINED
:VARS (X) {10026B62B1}>> NEEDING- IR1-ENVIRONMENT -FROM-NODE) {10026B93A9}>) REFERENCE- ENTRY-POINT
:%SOURCE- NAME F
:%DEBUG- NAME NIL
:KIND NIL
:TYPE #<SB-KERNEL: BUILT-IN- CLASSOID FUNCTION (read-only)>
:WHERE- FROM :DEFINED
:VARS (X) {10026B62B1}> {10026B7491}>) LOCALL- ANALYZE- FUN-1 SB-C::CLAMBDA
:%SOURCE- NAME F BUILT-IN- CLASSOID FUNCTION (read-only)> LOCALL- ANALYZE- COMPONENT SB-C:COMPONENT INITIAL- COMPONENT (LAMBDA ())) LOCALL- ANALYZE- CLAMBDAS- UNTIL-DONE <SB-C:: CLAMBDA
:%SOURCE- NAME SB-C::.ANONYMOUS.
:%DEBUG- NAME (SB-C::TL-XEP (LAMBDA #)) BUILT-IN- CLASSOID FUNCTION (read-only)>
(SB-INT: NAMED-LAMBDA F (X) (DECLARE (OPTIMIZE SPEED) (TYPE # X))
(BLOCK F X)))) SB-C::CORE- OBJECT >)[:EXTERNAL] :WITH-RECURSIVE -LOCK-THUNK) ) %WITH-COMPILATI ON-UNIT #<CLOSURE (LAMBDA #) {10026ADA49} >)[:EXTERNAL] ACTUALLY- COMPILE
(SB-INT: NAMED-LAMBDA F (X) (DECLARE (OPTIMIZE SPEED) (TYPE # X))
(BLOCK F X)))) NULL-LEXENV> ) IN-LEXENV
(SB-INT: NAMED-LAMBDA F (X) (DECLARE (OPTIMIZE SPEED) (TYPE # X))
(BLOCK F X)))) NULL-LEXENV> ) :%SIMPLE- EVAL INT:NAMED- LAMBDA F (X)
(DECLARE (OPTIMIZE SPEED) (TYPE (AND FIXNUM A) X))
(BLOCK F X)) NULL-LEXENV> ) SIMPLE- EVAL-IN- LEXENV INT:NAMED- LAMBDA F (X)
(DECLARE (OPTIMIZE SPEED) (TYPE (AND FIXNUM A) X))
(BLOCK F X)) NULL-LEXENV> ) SIMPLE- EVAL-IN- LEXENV IMPL::% DEFUN 'F
(SB-INT: NAMED-LAMBDA F (X)
(DECLARE (OPTIMIZE SPEED)
(TYPE (AND FIXNUM A) X))
(BLOCK F X))
NIL 'NIL (SB-C:SOURCE- LOCATION) ) NULL-LEXENV> ) SIMPLE- EVAL-IN- LEXENV
(SB-IMPL: :%DEFUN 'F
(SB- INT:NAMED- LAMBDA F (X)
(DECLARE (OPTIMIZE SPEED)
(TYPE # X))
(BLOCK F X))
NIL 'NIL (SB-C:SOURCE- LOCATION) )) NULL-LEXENV> ) SIMPLE- EVAL-IN- LEXENV NULL-LEXENV> ) :%WITH- REBOUND- IO-SYNTAX #<CLOSURE (LAMBDA #) {10026A85E9}>) :TOPLEVEL- REPL NIL) :TOPLEVEL- INIT) :RESTART- LISP))
1: (SB-IMPL:
2: (SB-C::
3: (SB-C::WEAKEN-TYPE #<SB-KERNEL:
4: (SB-C::MAKE-CAST
#<SB-C::LVAR 1 {10026BAA51}>
#<SB-
((COMPILATI
(SB-
5: ((FLET SB-C::CLOSURE-
6: (SB-C::
#<SB-
:FUN #<SB-C::REF :LEAF # {10026BA911}>
:ARGS (NIL) {10026BA991}>
#<CLOSURE (FLET SB-C::CLOSURE-
7: (SB-C::
#<SB-C::LVAR 1 {10026BAA51}>
#<SB-
((COMPILATI
(SB-
8: (SB-C::
#<SB-
:FUN #<SB-C::REF :LEAF # {10026BA911}>
:ARGS (NIL) {10026BA991}>
#<SB-C::CLAMBDA
:%SOURCE-NAME F
:%DEBUG-NAME NIL
:KIND NIL
:TYPE #<SB-KERNEL:
:WHERE-FROM :DEFINED
:VARS (X) {10026B62B1}>)
9: (SB-C::CONVERT-CALL
#<SB-C::REF
:LEAF #<SB-C::CLAMBDA
:KIND NIL
:TYPE #<SB-KERNEL:
:VARS (X) {10026B62B1}> {10026BA911}>
#<SB-
:FUN #<SB-C::REF :LEAF # {10026BA911}>
:ARGS (NIL) {10026BA991}>
#<SB-C::CLAMBDA
:%SOURCE-NAME F
:%DEBUG-NAME NIL
:KIND NIL
:TYPE #<SB-KERNEL:
:WHERE-FROM :DEFINED
:VARS (X) {10026B62B1}>)
10: (SB-C::
#<SB-C::REF
:LEAF #<SB-C::CLAMBDA
#<
:FUN #<SB-C::REF :LEAF # {10026BA911}>
:ARGS (NIL) {10026BA991}>)
11: (SB-C::
#<
:%DEBUG-NAME NIL
:KIND NIL
:TYPE #<SB-KERNEL:
:WHERE-FROM :DEFINED
:VARS (X) {10026B62B1}>)
12: ((FLET SB-C::CLOSURE-
13: (SB-C::
#<SB-C:BIND
:LAMBDA #<SB-C::CLAMBDA
#<CLOSURE (FLET SB-C::CLOSURE-
14: (SB-C::
#<SB-C::REF
:LEAF #<SB-C::CLAMBDA
15: (SB-C::
#<
:%DEBUG-NAME NIL
:KIND NIL
:TYPE #<SB-KERNEL:
:WHERE-FROM :DEFINED
:VARS (X) {10026B62B1}>)
16: (SB-C::
#<
:NAME (SB-C::
:REANALYZE T {10026AF391}>)
17: (SB-C::
(#
:KIND :EXTERNAL
:TYPE #<SB-KERNEL:
:WHERE-FROM :DEFINED
:VARS (#:G0) {10026B79E1}>))
18: (SB-C::%COMPILE
(LAMBDA ()
(DECLARE (MUFFLE-CONDITIONS COMPILER-NOTE))
(PROGN
#<
19: ((LAMBDA ()))
20: ((FLET SB-THREAD:
21: (SB-C::
22: (SB-C::
NIL
(LAMBDA ()
(DECLARE (MUFFLE-CONDITIONS COMPILER-NOTE))
(PROGN
#<
23: (SB-C:COMPILE-
NIL
(LAMBDA ()
(DECLARE (MUFFLE-CONDITIONS COMPILER-NOTE))
(PROGN
#<
24: (SB-IMPL:
(SB-
#<
25: (SB-INT:
(SB-
#<
26: (SB-INT:
(SB-
#<
27: (SB-INT:
(EVAL-WHEN (:LOAD-TOPLEVEL :EXECUTE)
#<
28: (SB-INT:
(DEFUN F (X) (DECLARE (OPTIMIZE SPEED) (TYPE (AND FIXNUM A) X)) X)
#<
29: (INTERACTIVE-EVAL
(DEFUN F (X) (DECLARE (OPTIMIZE SPEED) (TYPE (AND FIXNUM A) X)) X))[:EXTERNAL]
30: (SB-IMPL::REPL-FUN NIL)
31: ((LAMBDA ()))
32: (SB-IMPL:
33: (SB-IMPL:
34: (SB-IMPL:
35: ((LABELS SB-IMPL: