failed AVER when compiling a compound type declaration containing an undefined type
Bug #913232 reported by
Lutz Euler
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
Medium
|
Unassigned |
Bug Description
Entering the following expression at the REPL leads to a failed AVER:
(defun f (x)
(declare (optimize speed)
(type (and fixnum a) x))
x)
debugger invoked on a SB-INT:BUG in thread
#<THREAD "initial thread" RUNNING {1002989AE3}>:
failed AVER: (INTEGER-TYPE-P TYPE)
This is a regression. Bisected:
The first bad commit is 1.0.28.48.
Older versions compile the function and emit a style warning
about an undefined type "A" as expected. See the following
items for the exact output and a backtrace.
I have observed this under x86-64/Linux.
Lutz
Changed in sbcl: | |
status: | New → In Progress |
assignee: | nobody → Paul Khuong (pvk) |
Changed in sbcl: | |
assignee: | nobody → Nikodemus Siivola (nikodemus) |
importance: | Undecided → Medium |
status: | Confirmed → In Progress |
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
Output from the newest working version:
This is SBCL 1.0.28.47, 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)
; in: LAMBDA NIL
; (TYPE (AND FIXNUM A) X)
;
; caught STYLE-WARNING:
; undefined type: A
;
; compilation unit finished
; Undefined type:
; A
; caught 1 STYLE-WARNING condition
F