[Gcl-devel] Segmentation violation: c stack ok:signalling error with GCL-2.7.0 (cvs head)

[Camm Maguire]

Greetings!  You are missing the dsetq macro definition, found in
vmlisp.lisp, and used here for example in your file:

(DEFUN |centerNoHighlight| (&REST #1=#:G4770 &AUX |argList| |text|) 
       (DSETQ (|text| . |argList|) #1#) (|sayBrightly| (|center| |text| 
|argList|)))

If dsetq is assumed a function, as is the default, this will not
compile.  With the definition, it compiles fine.

In general, the lisp produced by axiom will need some work to conform
to ansi package semantics, if this is ever desired.  In particular,
one needs to insure that the symbol vmlisp::dsetq and boot::dsetq are
the same.  Here is one way:

(make-package "VMLISP" :use '(lisp))
(make-package "BOOT" :use '(lisp vmlisp))
(load "vmlisp.lisp")
(in-package 'vmlisp)
(export '(dsetq))
(in-package 'user)
(compile-file "msgdb.lsp")


With the cltl1 semantics, one can skip the extra make-package and do
similar with only in-package.

There are also many references to global variables.  If these are
defvar'ed elsewhere, including this file too before compilation will
reduce the warnings.

Take care,


=============================================================================
Hello,

Here is a file (see attachment) that GCL cannot compile on my amd64
(64bits mode) Linux system. Does GCL compile this file for you ?

Greg


====================================================================
GCL (GNU Common Lisp)  2.7.0 CLtL1    Nov 28 2006 19:32:28
Source License: LGPL(gcl,gmp,pargcl), GPL(unexec,bfd,xgcl)
Binary License:  GPL due to GPL'ed components: (XGCL 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/

>(compile-file "msgdb.lsp")

;; Compiling msgdb.lsp.
; (DEFUN |wordFrom| ...) is being compiled.
;; Warning: The type of the form #:G1673 is not (INTEGER 0
                                                 1152921504606846975),
but (MEMBER

NIL).
;; Warning: The type of the form #:G1685 is not (INTEGER 0
                                                 1152921504606846975),
but (MEMBER

NIL).

[...]

; (DEFUN |pushSatOutput| ...) is being compiled.
;; Warning: ;; The variable |$saturnMode| is undefined.
;; The compiler will assume this variable is a global.

Segmentation violation: c stack ok:signalling error
Error: ERROR :FORMAT-CONTROL "Caught fatal error [memory may be
damaged]: ^a" :FORMAT-ARGUMENTS ("Segmentation violation.")
Fast links are on: do (si::use-fast-links nil) for debugging
Signalled by COMPILER::COMPILE-FILE1.
ERROR :FORMAT-CONTROL "Caught fatal error [memory may be damaged]:
^a" :FORMAT-ARGUMENTS ("Segmentation violation.")

Broken at COMPILER::COMPILE-FILE1.  Type :H for Help.
BOOT>>(bye)
=============================================================================