[Sbcl-devel] Bug report (type error in compiler)

[Martin C. <cra...@co...>]

The following file, when loaded (not compiled first), raises a type
error.

:cl-user 82 K Yes, Master? (load "l.lisp")

debugger invoked on a TYPE-ERROR in thread #<THREAD "initial thread" RUNNING {1\
002740DA1}>:
  The value NIL is not of type SB-C::IR2-LVAR.

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-C::MOVE-LVAR-RESULT
 #<SB-C::COMBINATION
   :FUN #<SB-C::REF :%SOURCE-NAME SB-C::.ANONYMOUS. :LEAF # {1002A89D31}>
   :ARGS (#<SB-C::REF :%SOURCE-NAME A :LEAF # {1002A89F01}>
          #<SB-C::REF :%SOURCE-NAME T :LEAF # {1002A8A071}>) {1002A89DB1}>
 #<SB-C::IR2-BLOCK >
 (#<SB-C:TN ARG!1> #<SB-C:TN 'T!2>)
 #<SB-C::LVAR 1 {1002A69C91}>)
0]


When compiled it spits out a bunch of apparently bogus warnings:
:cl-user 739 K Yes, Master? (compile-file "l.lisp")

; compiling file "/mnt/safe/home/cracauer/l.lisp" (written 03 FEB 2009 04:46:08\
 PM):
; compiling (PROCLAIM (QUOTE #))
; compiling (DEFUN BAZ ...)
; compiling (DEFUN FOO ...)
; file: /mnt/safe/home/cracauer/l.lisp
; in: DEFUN FOO
;     (BAR ARG)
;
; note: implementation limitation: couldn't inline expand because expansion ref\
ers to the optimized away object #<SB-C::CTRAN 1 {1002B22351}>.
;
; note: deleting unused function
;   (SB-C::LOCAL-INLINE (FLET BAR))
;
; note: implementation limitation: couldn't inline expand because expansion ref\
ers to the optimized away object #<SB-C::CTRAN 1 {1002B22351}>.
;
; note: deleting unused function
;   (SB-C::LOCAL-INLINE (FLET BAR))

;     (VALUES 0 1)
;
; note: deleting unreachable code

;     (WHEN P (BAR ARG))
; --> IF
; ==>
;   P
;
; note: deleting unreachable code

;     (BAR ARG)
; ==>
;   ARG
;
; note: deleting unreachable code

;     (VALUES NIL NIL)
;
; note: deleting unreachable code
;
; compilation unit finished
;   printed 8 notes


; /mnt/safe/home/cracauer/l.fasl written
; compilation finished in 0:00:00
#P"/mnt/safe/home/cracauer/l.fasl"
NIL
NIL



-- 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Martin Cracauer <cra...@co...>   http://www.cons.org/cracauer/
FreeBSD - where you want to go, today.      http://www.freebsd.org/