[Gcl-devel] Re: failure making gcl-2.6.1

[Camm Maguire]

Greetings, and thanks for your report!  I got your tarball, but I
don't see how the nqthm-1992 binary was created.  If you can please
let me know how to reproduce this bug purely from gcl and lisp source,
I'll try to take a look.

Take care,

Matt Kaufmann <address@hidden> writes:

> Bob, Camm --
> 
> [Camm, Bob asked if I could help in isolating an apparently GCL 2.6.1 compiler
> bug that shows up when compiling pc-nqthm-1992.  Below is my reply.]
> 
> The GCL 2.6.1 compiler bug appears to be in compiler::analyze-regs, as shown
> below, though I'm far from sure about that.  In the next email I'll send a
> uuencoded tar file that expands to a pared-down version of
> /usr/spool/ftp/pub/boyer/pc-nqthm/pc-nqthm-1992/, suitable for exhibiting the
> bug.
> 
> Below is a relevant transcript.  Actually I did some other such experiments,
> where compilation appeared to hang after or during the write of the .c file,
> but below I seem to get a clean break in the same place twice.  The second 
> time
> is with (si::use-fast-links nil), which is where I see compiler::analyze-regs.
> I know very little about the GCL compiler, so I'm afraid this is probably 
> about
> all the help I can offer at this point.
> 
> By the way, I should have shown this:
> 
>   craigievar:~/pc-nqthm-1992-small> which nqthm-1992
>   /p/bin/nqthm-1992
>   craigievar:~/pc-nqthm-1992-small> 
> 
> Anyhow, here is the transcript.
> 
>   craigievar:~/pc-nqthm-1992-small> make clean
>   rm -f make/compile-success pc-nqthm-1992 TAGS
>   rm -f *.o *.c *.h *.data *.sbin *.lbin *.fasl *.sparcf \
>    make/tiny-test.* *saved_pc-nqthm-1992 make/tmp.* *.log
>   craigievar:~/pc-nqthm-1992-small> nqthm-1992
>   GCL (GNU Common Lisp)  (2.6.1) Sun Nov 16 04:38:18 CST 2003
>   Licensed under GNU Library General Public License
>   Dedicated to the memory of W. Schelter
> 
>   Use (help) to get some basic information on how to use GCL.
> 
>   Nqthm-1992.
>   Initialized with (BOOT-STRAP NQTHM) on November 16, 2003  06:48:56.
> 
> 
>   >(load "make/compile.lisp")
> 
>   Loading make/compile.lisp
>   Loading pc-nqthm.lisp
>   Loading lisp-test.o
>   start address -T 0x8d48380 Finished loading lisp-test.o
>   Finished loading pc-nqthm.lisp
>   Loading proclaim-nqthm.lisp
>   Finished loading proclaim-nqthm.lisp
>   Loading nqthm-patches.o
>   start address -T 0x8d4dd70 Finished loading nqthm-patches.o
>   Loading basis-pc.o
>   start address -T 0x8e47000 Finished loading basis-pc.o
> 
>   Error: Caught fatal error [memory may be damaged]
>   Fast links are on: do (si::use-fast-links nil) for debugging
>   Error signalled by CATCH.
>   Broken at APPLY.  Type :H for Help.
>   >>:b
>   Backtrace: funcall > system:top-level > eval > load > progn > 
> compile-pc-nqthm > flet > cf > compile-file > block > tagbody > progn > setq 
> > apply > apply > compiler::compile-file1 > let > unwind-protect > progn > 
> let* > let > unwind-protect > progn > when > compiler::compiler-pass2 > let > 
> unwind-protect > progn > let > let > unwind-protect > progn > catch > 
> compiler::ctop-write > system:universal-error-handler > lambda-closure > cond 
> > apply > APPLY
>   NIL
>   >>:q
> 
>   Top level.
>   >(bye)
>   craigievar:~/pc-nqthm-1992-small> make clean
>   rm -f make/compile-success pc-nqthm-1992 TAGS
>   rm -f *.o *.c *.h *.data *.sbin *.lbin *.fasl *.sparcf \
>    make/tiny-test.* *saved_pc-nqthm-1992 make/tmp.* *.log
>   craigievar:~/pc-nqthm-1992-small> nqthm-1992
>   GCL (GNU Common Lisp)  (2.6.1) Sun Nov 16 04:38:18 CST 2003
>   Licensed under GNU Library General Public License
>   Dedicated to the memory of W. Schelter
> 
>   Use (help) to get some basic information on how to use GCL.
> 
>   Nqthm-1992.
>   Initialized with (BOOT-STRAP NQTHM) on November 16, 2003  06:48:56.
> 
> 
>   >(si::use-fast-links nil)
> 
>   NIL
> 
>   >(load "make/compile.lisp")
> 
>   Loading make/compile.lisp
>   Loading pc-nqthm.lisp
>   Loading lisp-test.o
>   start address -T 0x8d48380 Finished loading lisp-test.o
>   Finished loading pc-nqthm.lisp
>   Loading proclaim-nqthm.lisp
>   Finished loading proclaim-nqthm.lisp
>   Loading nqthm-patches.o
>   start address -T 0x8d4dd70 Finished loading nqthm-patches.o
>   Loading basis-pc.o
>   start address -T 0x8e46000 Finished loading basis-pc.o
> 
>   Error: Caught fatal error [memory may be damaged]
>   Error signalled by COMPILER::CTOP-WRITE.
>   Broken at SYSTEM::BREAK-LEVEL.  Type :H for Help.
>   >>:b
>   Backtrace: funcall > system:top-level > eval > load > progn > 
> compile-pc-nqthm > flet > cf > compile-file > block > tagbody > progn > setq 
> > apply > apply > compiler::compile-file1 > let > unwind-protect > progn > 
> let* > let > unwind-protect > progn > when > compiler::compiler-pass2 > let > 
> unwind-protect > progn > let > let > unwind-protect > progn > catch > 
> compiler::ctop-write > compiler::analyze-regs > 
> system:universal-error-handler > lambda-closure > cond > apply > apply > 
> SYSTEM::BREAK-LEVEL
>   NIL
>   >>:q
> 
>   Top level.
>   >(bye)
>   craigievar:~/pc-nqthm-1992-small> ls -lrt
>   total 1368
>   -rw-rw-r--    1 kaufmann acl2         3001 Jan 10  1994 nqthm-patches.lisp
>   -rw-rw-r--    1 kaufmann acl2        49534 Jan 10  1994 
> macro-commands-aux.lisp
>   -rw-rw-r--    1 kaufmann acl2          500 Jan 10  1994 lisp-test.lisp
>   -rw-rw-r--    1 kaufmann acl2        93322 Jan 10  1994 help.lisp
>   -rw-rw-r--    1 kaufmann acl2        51564 Jan 10  1994 defn-sk.lisp
>   -rw-rw-r--    1 kaufmann acl2        34988 Jan 10  1994 basis-pc.lisp
>   -rw-rw-r--    1 kaufmann acl2        38721 Jan 10  1994 top-nqthm.lisp
>   -rw-rw-r--    1 kaufmann acl2         7614 Jan 10  1994 
> pc-nqthm-public-software-license.ps
>   -rw-rw-r--    1 kaufmann acl2         3749 Jan 10  1994 
> pc-nqthm-public-software-license.doc
>   -rw-rw-r--    1 kaufmann acl2         2082 Jan 10  1994 
> pc-nqthm-1992.announcement
>   -rw-rw-r--    1 kaufmann acl2         5746 Jan 10  1994 makefile
>   -rwxrwxr-x    1 kaufmann acl2          207 Jan 10  1994 
> make.pc-nqthm-1992.tar
>   -rw-rw-r--    1 kaufmann acl2         1283 Jan 10  1994 THIS.DIR
>   -rw-rw-r--    1 kaufmann acl2       111701 Feb  6  1994 utilities.lisp
>   -rw-rw-r--    1 kaufmann acl2       147896 Feb  6  1994 top.lisp
>   -rw-rw-r--    1 kaufmann acl2         5999 Feb 13  1994 pc-nqthm.lisp
>   -rw-rw-r--    1 kaufmann acl2        32777 Feb 13  1994 proclaim-nqthm.lisp
>   -rw-rw-r--    1 kaufmann acl2        11127 Feb 17  1994 README-pc
>   -rw-rw-r--    1 kaufmann acl2       112643 Feb 17  1994 macro-commands.lisp
>   drwxrwxr-x    2 kaufmann acl2         4096 Nov 16 11:27 make
>   -rw-r--r--    1 kaufmann acl2         1505 Nov 16 11:32 lisp-test.o
>   -rw-r--r--    1 kaufmann acl2         3631 Nov 16 11:32 nqthm-patches.o
>   -rw-r--r--    1 kaufmann acl2        75172 Nov 16 11:32 defn-sk.o
>   -rw-r--r--    1 kaufmann acl2        35359 Nov 16 11:32 help.o
>   -rw-r--r--    1 kaufmann acl2        47040 Nov 16 11:32 basis-pc.o
>   -rw-r--r--    1 kaufmann acl2        23782 Nov 16 11:32 utilities.h
>   -rw-r--r--    1 kaufmann acl2           13 Nov 16 11:32 utilities.data
>   -rw-r--r--    1 kaufmann acl2       416633 Nov 16 11:32 utilities.c
>   craigievar:~/pc-nqthm-1992-small> 
> 
> -- Matt
> 
> 
> 

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