Bug: nil not of type sb-c::interval in LOGAND deftransform
Eric Marsden via Sbcl-devel <[email protected]>
| Newsgroups | gmane.lisp.steel-bank.devel |
|---|---|
| Message-ID | <[email protected]> |
Hi,
From random-integer testing on AMD64.
* (lisp-implementation-version)
"2.6.0.63-82adefa21"
* (defun foo (a b)
(declare (type (integer -100 4) b))
(labels ((bar (f1 f2) (boole boole-eqv a a)))
(ldb (byte 24 21) (ash (bar b 0) (min 5 b)))))
; in: DEFUN FOO
; (BAR (F1 F2) (BOOLE BOOLE-EQV A A))
;
; caught STYLE-WARNING:
; The variable F1 is defined but never used.
;
; caught STYLE-WARNING:
; The variable F2 is defined but never used.
debugger invoked on a TYPE-ERROR @B8003AE357 in thread
#<THREAD tid=43440 "main thread" RUNNING {1200BE8003}>:
The value
NIL
is not of type
SB-C::INTERVAL
Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.
restarts (invokable by number or by possibly-abbreviated name):
0: [ABORT] Exit debugger, returning to top level.
(SB-C::UNSIGNED-MASK-WIDTH #<SB-KERNEL:NAMED-TYPE NIL>)
0] backtrace
Backtrace for: #<SB-THREAD:THREAD tid=43440 "main thread" RUNNING
{1200BE8003}>
0: (SB-C::UNSIGNED-MASK-WIDTH #<SB-KERNEL:NAMED-TYPE NIL>)
1: ((SB-C:DEFTRANSFORM LOGAND) #<SB-C::COMBINATION :FUN LOGAND :ARGS
(#<SB-C::COMBINATION :FUN ASH :ARGS (#<SB-C::REF :%SOURCE-NAME SB-C::X
:LEAF -1 {1202952103}> #<CAST :%TYPE-CHECK NIL :VALUE #<SB-C::LVAR 1
{1202952223}> :ASSERTED-TYPE #<SB-KERNEL:NUMERIC-UNION-TYPE
UNSIGNED-BYTE> :TYPE-TO-CHECK #<SB-KERNEL:NAMED-TYPE *> {12029522A3}>)
{1202951FD3}> #<SB-C::REF :%SOURCE-NAME MOST-POSITIVE-WORD :LEAF
18446744073709551615 {1202951DF3}>) {1202951C63}>)
_______________________________________________
Sbcl-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/sbcl-devel