[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Re: bug in write_fasd ?
From: |
Camm Maguire |
Subject: |
[Gcl-devel] Re: bug in write_fasd ? |
Date: |
07 Jun 2006 12:29:37 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Gcl-devel] Re: bug in write_fasd ?,
Camm Maguire <=