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 <[EMAIL PROTECTED]> 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 [EMAIL PROTECTED]
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
_______________________________________________
Gcl-devel mailing list
Gcl-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/gcl-devel
