[Gcl-devel] Re: possible compiler bug in GCL 2.7.0

[Camm Maguire]

Greetings!  This seems cleared too now. 

Take care,

Robert Boyer <address@hidden> writes:

> Below is a little evidence of a possible compiler bug in the latest GCL
> 2.7.0.  In the ordinary (first) compilation of ACL2, the compilation of
> the very old function ONE-WAY-UNIFY1 is causing the strange error report:
> 
>     ;; Warning:  The variable ALIST1 is not used.
>     ;; Warning: The variable PKG is not used.
>     ;; Warning: The variable ALIST1 is not used.
> 
> That's incorrect, I think.  And, furthermore, if I try to compile
> ONE-WAY-UNIFY1 later from the sources in the resulting ACL2, there is no
> error report.
> 
> Bob
> 
> -------------------------------------------------------------------------------
> A log leading to the report above.
> 
> 
> Loading acl2-check.lisp
> Check completed.
> Finished loading acl2-check.lisp
> Loading axioms.lisp
> Finished loading axioms.lisp
> ;; Compiling axioms.lisp.
> ;; End of Pass 1.  
> ;; End of Pass 2.  
> axioms.c: In function `LI468':
> axioms.c:29912: warning: comparison is always true due to limited range of 
> data type
> ;; OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3, 
> (Debug quality ignored)
> ;; Finished compiling axioms.o.
> Loading axioms.o
> start address -T 0xad5cb60 Finished loading axioms.o
> Loading basis.lisp
> Finished loading basis.lisp
> ;; Compiling basis.lisp.
> ;; End of Pass 1.  
> ;; End of Pass 2.  
> ;; OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3, 
> (Debug quality ignored)
> ;; Finished compiling basis.o.
> Loading basis.o
> start address -T 0xad91220 Finished loading basis.o
> Loading translate.lisp
> Finished loading translate.lisp
> ;; Compiling translate.lisp.
> ; (DEFUN MAPDO ...) is being compiled.
> ;; Warning: The variable RST is not used.
> ;; End of Pass 1.  
> ;; End of Pass 2.  
> ;; OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3, 
> (Debug quality ignored)
> ;; Finished compiling translate.o.
> Loading translate.o
> start address -T 0xadde5c0 Finished loading translate.o
> Loading type-set-a.lisp
> Finished loading type-set-a.lisp
> ;; Compiling type-set-a.lisp.
> ;; End of Pass 1.  
> ;; End of Pass 2.  
> ;; OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3, 
> (Debug quality ignored)
> ;; Finished compiling type-set-a.o.
> Loading type-set-a.o
> start address -T 0xad8d3a0 Finished loading type-set-a.o
> Loading linear-a.lisp
> Finished loading linear-a.lisp
> ;; Compiling linear-a.lisp.
> ;; End of Pass 1.  
> ;; End of Pass 2.  
> ;; OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3, 
> (Debug quality ignored)
> ;; Finished compiling linear-a.o.
> Loading linear-a.o
> start address -T 0xad4ba00 Finished loading linear-a.o
> Loading type-set-b.lisp
> Finished loading type-set-b.lisp
> ;; Compiling type-set-b.lisp.
> ; (DEFUN ONE-WAY-UNIFY1 ...) is being compiled.
> ;; Warning: The variable ALIST1 is not used.
> ;; Warning: The variable PKG is not used.
> ;; Warning: The variable ALIST1 is not used.
> ;; End of Pass 1.  
> ;; End of Pass 2.  
> ;; OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3, 
> (Debug quality ignored)
> ;; Finished compiling type-set-b.o.
> Loading type-set-b.o
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah