Re: Bug: nil not of type sb-c::interval in LOGAND deftransform

Fixed. Thanks.

On Sat, Jan 10, 2026 at 7:04 PM Eric Marsden via Sbcl-devel
<[email protected]> wrote:
>
> 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


_______________________________________________
Sbcl-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/sbcl-devel