[Gcl-devel] Re: 2.7.0

[Camm Maguire]

Greetings!  Still looking into this, but believe it is related to C
optimization, maybe a missing volatile.  May I suggest also testing
with --enable-debug, which is what I did before the commit.

Take care,

Robert Boyer <address@hidden> writes:

> I just now copied and built GCL 2.7.0 from cvs head, but am getting some
> strangeness.  Trying to compile ACL2 results in:
> 
>    ;; End of Pass 1.  
> 
>    Raw Lisp Break.
>    Error in COMPILE-FILE [or a callee]: Control stack overflow.
> 
> which I have not tracked down to a simple, reasonable bug report.
> 
> However, below is a simple, weird transcript.
> 
> Bob
> 
> -------------------------------------------------------------------------------
> 
> % cat foo.lisp
> (defun stobj-print-symbol (x user-stobj-alist-tail)
>   (and user-stobj-alist-tail
>        (if (eq x (symbol-value (the-live-var (caar user-stobj-alist-tail))))
>            (intern-in-package-of-symbol
>             (stobj-print-name (caar user-stobj-alist-tail))
>             (caar user-stobj-alist-tail))
>          (stobj-print-symbol x (cdr user-stobj-alist-tail)))))
> 
> % 2
> GCL (GNU Common Lisp)  2.7.0 ANSI    Jul 12 2006 18:57:57
> ...
> >(compile-file "foo.lisp")
> 
> ;; Compiling foo.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 foo.o.
> #P"/v/filer2/boyer/acl2/acl2-sources/foo.o"
> NIL
> NIL
> (((WARNING . #<compiled-closure 0b2039c0>)
>   (ERROR . #<compiled-closure 0b2039a0>)))
> (NIL NIL NIL "foo.lisp")
> (#<@0B34EED8> NIL NIL NIL "foo.lisp")
> ((#<RESTART.0>))
> ("foo.lisp" #<@0B34EED8> NIL NIL NIL "foo.lisp")
> (NIL "foo.lisp" #<@0B34EED8> NIL NIL NIL "foo.lisp")
> (NIL NIL "foo.lisp" #<@0B34EED8> NIL NIL NIL "foo.lisp")
> (((WARNING . #<compiled-closure 0b203940>)
>   (ERROR . #<compiled-closure 0b2038e0>))
>  ((WARNING . #<compiled-closure 0b2039c0>)
>   (ERROR . #<compiled-closure 0b2039a0>)))
> (NIL NIL NIL "foo.lisp" #<@0B34EED8> NIL NIL NIL "foo.lisp")
> (#<@0B34EE70> NIL NIL NIL "foo.lisp" #<@0B34EED8> NIL NIL NIL
>  "foo.lisp")
> ((#<RESTART.1>)
>  (#<RESTART.0>))
> #<OBJNULL>
> #<OBJNULL>
> #<OBJNULL>
> #<OBJNULL>
> #<OBJNULL>
> #<OBJNULL>
> #<OBJNULL>
> #<OBJNULL>
> #<OBJNULL>
> #<OBJNULL>
> #<OBJNULL>
> #<OBJNULL>
> #<OBJNULL>
> #<OBJNULL>
> #<OBJNULL>
> #P"/v/filer2/boyer/acl2/acl2-sources/foo.o"
> 
> >
> 
> 
> 

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