[Gcl-devel] Re: bug in write_fasd ?

[Camm Maguire]

Greetings!

OK, its in the gcl build somewhere:

Your image:

>(symbol-package 'define-symbol-macro)

#<NIL package>

>

Program exited normally.
(gdb) The program is not being run.
(gdb) file /u/camm/test/gcl-2.7.0/unixport/saved_ansi_gcl
Load new symbol table from 
"/v/filer3/v1q011/camm/test/gcl-2.7.0/unixport/saved_ansi_gcl"? (y or n) y
Reading symbols from 
/v/filer3/v1q011/camm/test/gcl-2.7.0/unixport/saved_ansi_gcl...done.
Breakpoint 2 at 0x8158ab9: file gbc.c, line 800.
(gdb) r
Starting program: /v/filer3/v1q011/camm/test/gcl-2.7.0/unixport/saved_ansi_gcl 
GCL (GNU Common Lisp)  2.7.0 ANSI    Jun  5 2006 20:59:45
Source License: LGPL(gcl,gmp,pargcl), GPL(unexec,bfd)
Binary License:  GPL due to GPL'ed components: (READLINE BFD UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter

Use (help) to get some basic information on how to use GCL.

Temporary directory for compiler files set to /tmp/

>(symbol-package 'define-symbol-macro)

#<"COMMON-LISP-USER" package>

>


I'll retry a static build to investigate.

BTW, logins to elgin work now -- thanks!

Take care,


Robert Boyer <address@hidden> writes:

> > I take it this is reproducible for you (just checking for the signs of
> > any unreproducible obscure likely-gc-related bugs).
> 
> Yes, and some reproducibility evidence is below.
> 
> One horrid possibility is that this is one of those dread
> "static" issues.  As you'll recall, I normally use a big
> static image.
> 
> > perhaps I can look at your files on some other machine
> 
> You can always look at all of my files from any other UTCS
> machine.  Except, of course, those that are protected by the
> ordinary sort of Unix protection, via chmod, etc.  We all
> share one file file system.  (Of course, there are some
> really private machines in this huge department and campus,
> but the central UTCS file system, is shared by all faculty,
> staff, and students; it is seriously backed up, and equipped
> with that amazing "look into the past" "snapshot" feature I
> have mentioned previously I think.  See the ".snapshot"
> subdirectory of any directory for what I mean.)
> 
> This following text recreates my segmentation fault problem,
> as the following transcript shows.  No TRACE needed.
> 
>    cd /u/boyer/acl2/acl2-sources
>    gdb /u/boyer/my-partition/gcl-2.7.0/unixport/saved_ansi_gcl 
>    run
>    (load "init.lisp")
>    (in-package ACL2)
>    (compile-acl2)
> 
> Thanks so very much,
> 
> Bob
> 
> -------------------------------------------------------------------------------
> 
> %    cd /u/boyer/acl2/acl2-sources
> %    gdb /u/boyer/my-partition/gcl-2.7.0/unixport/saved_ansi_gcl 
> GNU gdb 6.4
> Copyright 2005 Free Software Foundation, Inc.
> GDB is free software, covered by the GNU General Public License, and you are
> welcome to change it and/or distribute copies of it under certain conditions.
> Type "show copying" to see the conditions.
> There is absolutely no warranty for GDB.  Type "show warranty" for details.
> This GDB was configured as "i686-pc-linux-gnu"...Using host libthread_db 
> library "/lib/tls/i686/cmov/libthread_db.so.1".
> 
> (gdb)    run
> Starting program: /v/filer3/v0q027/gcl-2.7.0/unixport/saved_ansi_gcl 
> GCL (GNU Common Lisp)  2.7.0 ANSI    Jun  6 2006 15:29:37
> Source License: LGPL(gcl,gmp,pargcl), GPL(unexec,bfd)
> Binary License:  GPL due to GPL'ed components: (BFD UNEXEC)
> Modifications of this banner must retain notice of a compatible license
> Dedicated to the memory of W. Schelter
> 
> Use (help) to get some basic information on how to use GCL.
> 
> Temporary directory for compiler files set to /tmp/
> 
> >   (load "init.lisp")
> 
> Loading init.lisp
> Warning:
> RENAME-PACKAGE is being redefined.
> Loading acl2-init.lisp
> Loading acl2.lisp
> Loading acl2-fns.lisp
> Finished loading acl2-fns.lisp
> ;; Compiling acl2-fns.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 acl2-fns.o.
> Loading acl2-fns.o
> [GC for 79 STRUCTURE pages..(T=6).GC finished]
> Callee BACKQUOTE-LST sigchange NIL to ((T) T), recompiling BACKQUOTE
> ;; Compiling /tmp/recompile.lsp.
> ;; 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 /tmp/recompile.o.
> Loading /tmp/recompile.o
> start address -T 0xaee61c0 Finished loading /tmp/recompile.o
> start address -T 0xaf2edc0 Finished loading acl2-fns.o
> Finished loading acl2.lisp
> Finished loading acl2-init.lisp
> Finished loading init.lisp
> T
> 
> >   (in-package ACL2)
> 
> #<"ACL2" package>
> 
> ACL2>   (compile-acl2)
> 
> Loading axioms.lisp
> [GC for 1243 CONS pages..(T=4).GC finished]
> Finished loading axioms.lisp
> [GC for 385 RELOCATABLE-BLOCKS pages..(T=4).GC finished]
> ;; Compiling axioms.lisp.
> [GC for 79 STRUCTURE pages..(T=5).GC finished]
> [GC for 130 ARRAY pages..(T=5).GC finished]
> [GC for 385 RELOCATABLE-BLOCKS pages..(T=6).GC finished]
> [GC for 195 ARRAY pages..(T=5).GC finished]
> ; (DEFUN AREF1 ...) is being compiled.
> ;; Warning: arg type mismatch in auto-proclamation (T T
>                                                     (UNSIGNED-BYTE 31)) -> (T
>                                                                             T
>                                                                             
> FIXNUM)
> 
> ; (DEFUN ASET1 ...) is being compiled.
> ;; Warning: arg type mismatch in auto-proclamation (T T
>                                                     (UNSIGNED-BYTE 31)
>                                                     T) -> (T T FIXNUM
>                                                            T)
> 
> ; (DEFUN AREF2 ...) is being compiled.
> ;; Warning: arg type mismatch in auto-proclamation (T T
>                                                     (UNSIGNED-BYTE 31)
>                                                     (UNSIGNED-BYTE 31)) -> (T
>                                                                             T
>                                                                             
> FIXNUM
>                                                                             
> FIXNUM)
> 
> [GC for 312 ARRAY pages..(T=6).GC finished]
> [GC for 553 RELOCATABLE-BLOCKS pages..(T=8).GC finished]
> ; (DEFUN ASET2 ...) is being compiled.
> ;; Warning: arg type mismatch in auto-proclamation (T T
>                                                     (UNSIGNED-BYTE 31)
>                                                     (UNSIGNED-BYTE 31)
>                                                     T) -> (T T FIXNUM
>                                                            FIXNUM T)
> 
> [GC for 1243 CONS pages..(T=7).GC finished]
> [GC for 172 SYMBOL pages..(T=8).GC finished]
> [GC for 754 RELOCATABLE-BLOCKS pages..(T=9).GC finished]
> [GC for 1243 CONS pages..(T=8).GC finished]
> [GC for 491 ARRAY pages..(T=9).GC finished]
> ;; End of Pass 1.  
> [GC for 1131 RELOCATABLE-BLOCKS pages..(T=11).GC finished]
> [GC for 1131 RELOCATABLE-BLOCKS pages..(T=11).GC finished]
> [GC for 1131 RELOCATABLE-BLOCKS pages..(T=11).GC finished]
> [GC for 118 SFUN pages..(T=8).GC finished]
> 
> Program received signal SIGSEGV, Segmentation fault.
> 0x08134fbd in write_fasd (obj=0x0) at fasdump.c:686
> 686        switch(type_of(obj)){
> (gdb) 
> 
> 
> 
> 

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