Re: NIL not of type STORAGE-CLASS in PERFORM-OPERAND-LOWERING

Stas Boukarev <[email protected]>
Newsgroups gmane.lisp.steel-bank.devel
Message-ID <CAF63=13sPwDThCa5=7h0NYC5VZYpBDaMG3BKe3FJbaraNHuFHg@mail.gmail.com>
Fixed. Thanks.

On Fri, Jan 30, 2026 at 3:17 PM Eric Marsden via Sbcl-devel
<[email protected]> wrote:
>
> Hi,
>
> This is from random-integer testing on AMD64.
>
> * (lisp-implementation-version)
> "2.6.1.38-6076dcab9"
> * (defun foo (a b)
>      (declare (type (integer -2 0) a))
>      (declare (type (integer -1173364836553829633 -951029402253260815) b))
>      (let ((foo (shiftf a -2)))
>        (expt (floor b a) 0)))
>
> ; in: DEFUN FOO
> ;     (FOO (SHIFTF A -2))
> ;
> ; caught STYLE-WARNING:
> ;   The variable FOO is defined but never used.
>
> debugger invoked on a TYPE-ERROR @B8003E51C2 in thread
> #<THREAD tid=94541 "main thread" RUNNING {1200BF8003}>:
>    The value
>      NIL
>    is not of type
>      SB-C:STORAGE-CLASS
>
> 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-ASSEM::PERFORM-OPERAND-LOWERING (0 #<SB-C:TN t1 :UNUSED>
> #<SB-X86-64-ASM::EA  base=#<SB-C:TN B!2[RDI(s)] :DEBUG-ENVIRONMENT>
> index=#<SB-C:TN t3[RAX(u)] :NORMAL> disp=0>))
> 0]
>
>
> _______________________________________________
> 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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.