Re: Type propagation (was Re: [Gcl-devel] New random tester failures)

[Paul F. Dietz]

Camm Maguire wrote:
> Greetings!
>
> OK, take two is committed.

It aborts now during the compile of ansi-aux.lsp (see attached dribble file).

        Paul


Starts dribbling to out (2004/12/14, 5:40:53).
NIL

>
(load "gclload1.lsp")
Loading gclload1.lsp
Loading compile-and-load.lsp
Finished loading compile-and-load.lsp
Loading rt-package.lsp
Finished loading rt-package.lsp
Compiling rt.lsp.

;; Note: var X-LEN is type FIXNUM from deduced function return type, declaring

;; Note: var Y-LEN is type FIXNUM from deduced function return type, declaring

;; Note: Let bindings ((X-LEN (LENGTH X)) (Y-LEN (LENGTH Y))) declared ((FIXNUM
                                                                         X-LEN)
                                                                        (FIXNUM
                                                                         Y-LEN))

;; Note: var #:G1909 is type FIXNUM from outer scope, but is already declared
; (DEFUN DO-ENTRY ...) is being compiled.
;; Warning: The variable CONDITIONS::TEMP is not used.
End of Pass 1.  

;; Note: Tail-recursive call of EQUALP-WITH-CASE was replaced by iteration.
;; Note: Tail-recursive call of EQUALP-WITH-CASE was replaced by iteration.
End of Pass 2.  
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3, (Debug 
quality ignored)
Finished compiling rt.lsp.
Loading rt.o
Finished loading rt.o
Loading cl-test-package.lsp
Finished loading cl-test-package.lsp
Compiling ansi-aux-macros.lsp.
End of Pass 1.  
End of Pass 2.  
OPTIMIZE levels: Safety=3, Space=0, Speed=3, (Debug quality ignored)
Finished compiling ansi-aux-macros.lsp.
Loading ansi-aux-macros.o
Finished loading ansi-aux-macros.o
Loading universe.lsp
Finished loading universe.lsp
Compiling random-aux.lsp.

;; Note: var LEN is type FIXNUM from deduced function return type, declaring

;; Note: Let bindings ((LEN (LENGTH SEQ))) declared ((FIXNUM LEN))

;; Note: var LEN is type FIXNUM from deduced function return type, declaring

;; Note: Let bindings ((LEN (LENGTH CASES))) declared ((FIXNUM LEN))

;; Note: var ETYPE is type SYMBOL from deduced function return type, but is 
changed in other bindings

;; Note: var LEN is type FIXNUM from deduced function return type, declaring

;; Note: Let* bindings ((LEN (LENGTH S)) (LEN2 (RANDOM (1+ LEN)))) declared 
((FIXNUM
                                                                              
LEN))

;; Note: var LEN is type FIXNUM from deduced function return type, declaring

;; Note: Let bindings ((LEN (LENGTH SEQ))) declared ((FIXNUM LEN))

;; Note: var I is type FIXNUM from outer scope, but is already declared
End of Pass 1.  
End of Pass 2.  
OPTIMIZE levels: Safety=3, Space=0, Speed=3, (Debug quality ignored)
Finished compiling random-aux.lsp.
Loading random-aux.o
Finished loading random-aux.o
Compiling ansi-aux.lsp.

;; Note: var N is type FIXNUM from outer scope, but is already declared
; (DEFUN CHECK-VALUES-LENGTH ...) is being compiled.
;; Warning: The ignored variable E is used.

;; Note: var LEN is type FIXNUM from deduced function return type, declaring

;; Note: Let bindings ((LEN (LENGTH VARS)) (V (GENSYM))) declared ((FIXNUM
                                                                    LEN))
; (DEFUN EQUAL-ARRAY ...) is being compiled.
;; Warning: Type declaration was found for not bound variable A2.
;; Warning: Type declaration was found for not bound variable A1.
; (DEFUN CHECK-TYPE-PREDICATE ...) is being compiled.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
; (DEFUN CLASSIFY-ERROR** ...) is being compiled.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.

;; Note: var *READ-DEFAULT-FLOAT-FORMAT* is type SYMBOL from deduced function 
return type, declaring

;; Note: Let* bindings ((*PACKAGE* (FIND-PACKAGE :CL-USER))
                        (*PRINT-ARRAY* T) (*PRINT-BASE* 10)
                        (*PRINT-CASE* :UPCASE) (*PRINT-CIRCLE* NIL)
                        (*PRINT-ESCAPE* T) (*PRINT-GENSYM* T)
                        (*PRINT-LENGTH* NIL) (*PRINT-LEVEL* NIL)
                        (*PRINT-LINES* NIL) (*PRINT-MISER-WIDTH* NIL)
                        (*PRINT-PRETTY* NIL) (*PRINT-RADIX* NIL)
                        (*PRINT-READABLY* T) (*PRINT-RIGHT-MARGIN* NIL)
                        (*READ-BASE* 10)
                        (*READ-DEFAULT-FLOAT-FORMAT* 'SINGLE-FLOAT)
                        (*READ-EVAL* T) (*READ-SUPPRESS* NIL)
                        (*READTABLE*
                            (COPY-READTABLE
                                (SYSTEM:STANDARD-READTABLE)))) declared ((SYMBOL
                                                                          
*READ-DEFAULT-FLOAT-FORMAT*))

;; Note: var LEN is type FIXNUM from deduced function return type, declaring

;; Note: Let bindings ((LEN (LENGTH LIST))) declared ((FIXNUM LEN))
; (DEFUN SAFE-ELT ...) is being compiled.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
;; Warning: The variable CONDITIONS::TEMP is not used.
Error in COND [or a callee]: Caught fatal error [memory may be damaged]

Fast links are on: do (use-fast-links nil) for debugging
Broken at COMPILER::T1EXPR.  Type :H for Help.
 1 (Continue) Retry loading file "gclload1.lsp".
 2 Return to top level.
dbl:CL-TEST>>
:bt

#0   T1EXPR {} [ihs=32]
#1   COMPILE-FILE1 {} [ihs=19]
#2   APPLY 
{loc0=compiler::compile-file1,loc1=(#P"ansi-aux.lsp"),loc2=#P"ansi-aux.lsp"} 
[ihs=18]
#3   APPLY {loc0=compiler::compile-file1,loc1=(#P"ansi-aux.lsp")} [ihs=17]
#4   COMPILE-FILE {} [ihs=12]
#5   COMPILE-AND-LOAD {} [ihs=8]
#6   CLCS-LOAD {loc0=nil,loc1=nil,loc2=nil,loc3=(lisp:lambda-block 
compile-and-load (common-lis...} [ihs=7]
#7   EVAL {loc0=nil,loc1=nil,loc2=nil,loc3=#<compiled-function 
conditions::clcs-load>,loc4...} [ihs=6]
#8   TOP-LEVEL {} [ihs=5]
#9   FUNCALL {loc0=#<compiled-function system:top-level>,loc1=t,loc2="GCL (GNU 
Common Lisp)  ...} [ihs=4]
NIL
dbl:CL-TEST>>(dribble)