[Gcl-devel] Re: segmentation fault after ENDP.ERROR.5 ?

[Camm Maguire]

Greetings!

Robert Boyer <address@hidden> writes:

> I don't think that the ANSI tests, compiled, are supposed to end, as below
> with segmentation fault.
> 

Indeed!  Again, cannot reproduce thus far -- will dig up your old big
static configuration from a previous email and try from there.

What I've been working on -- compiler mods to detect i as fixnum in
the following (for example):

(let ((x 2)) (declare seqind x) (do ((i 0 (1+ i))) ((> i x))))

This also picks up a number of type detections in the presence of setq
and/or loops.  The nested let algorithm is eliminated in favor of an
optional catch/throw loop around tagbody, if and setq.  Types are
inferred on the branches of the if.  More later.

Take care,

> This was run with
> 
>    % /v/filer2/boyer/gcl/gcl-2.7.0/ansi-tests
>    Sun Mar  5 16:54:01 CST 2006
>    GCL (GNU Common Lisp)  2.7.0 ANSI    Mar  5 2006 15:51:53
>    Source License: LGPL(gcl,gmp,pargcl), GPL(unexec,bfd)
>    Binary License:  GPL due to GPL'ed components: (BFD UNEXEC)
> 
> Bob
> 
> -------------------------------------------------------------------------------
> 
>  ADJOIN.ERROR.10 NTH.1 NTH.2 NTH.ORDER.1 NTH.ORDER.2
> Test NTH.ERROR.1 failed
> Form: (SIGNALS-ERROR (NTH) PROGRAM-ERROR)
> Expected value: T
> Actual value: #<CONDITIONS::INTERNAL-TYPE-ERROR.215>.
> Test NTH.ERROR.2 failed
> Form: (SIGNALS-ERROR (NTH 0) PROGRAM-ERROR)
> Expected value: T
> Actual values: NIL
>                NIL.
> Test NTH.ERROR.3 failed
> Form: (SIGNALS-ERROR (NTH 1 '(A B C) NIL) PROGRAM-ERROR)
> Expected value: T
> Actual values: NIL
>                B.
> Test NTH.ERROR.4 failed
> Form: (SIGNALS-ERROR (NTH 0 '(A B C) NIL) PROGRAM-ERROR)
> Expected value: T
> Actual values: NIL
>                A.
> ; (DEFUN COMPILER::CMP-ANON ...) is being compiled.
> ;;; The constant NIL is being assigned a value.
> ;;; The constant NIL is being assigned a value.
> ;;; The constant NIL is being assigned a value.
> ;;; The constant NIL is being assigned a value.
> No FASL generated.
> Test ENDP-NIL failed
> Form: (NOTNOT-MV (ENDP NIL))
> Expected value: T
> Actual value: #<CONDITIONS::INTERNAL-SIMPLE-FILE-ERROR.216>.
> ; (DEFUN COMPILER::CMP-ANON ...) is being compiled.
> ;;; The function (SETF CONS) is illegal.
> ;;; The function (SETF CONS) is illegal.
> ;;; The function (SETF CONS) is illegal.
> ;;; The function (SETF CONS) is illegal.
> ;;; The function (SETF CONS) is illegal.
> ;;; The function (SETF CONS) is illegal.
> ;;; The function (SETF CONS) is illegal.
> No FASL generated.
> Test ENDP-CONS failed
> Form: (ENDP (CONS 'A 'A))
> Expected value: NIL
> Actual value: #<CONDITIONS::INTERNAL-SIMPLE-FILE-ERROR.217>.
> ; (DEFUN COMPILER::CMP-ANON ...) is being compiled.
> ;;; The function (SETF LOAD-TIME-VALUE) is illegal.
> ;;; The function (SETF LOAD-TIME-VALUE) is illegal.
> ;;; The function (SETF LOAD-TIME-VALUE) is illegal.
> ;;; The function (SETF LOAD-TIME-VALUE) is illegal.
> ;;; The function (SETF LOAD-TIME-VALUE) is illegal.
> ;;; The function (SETF LOAD-TIME-VALUE) is illegal.
> ;;; The function (SETF LOAD-TIME-VALUE) is illegal.
> No FASL generated.
> Test ENDP-SINGLETON-LIST failed
> Form: (ENDP '(A))
> Expected value: NIL
> Actual value: #<CONDITIONS::INTERNAL-SIMPLE-FILE-ERROR.218>.
> ; (DEFUN COMPILER::CMP-ANON ...) is being compiled.
> ;;; The function (SETF PROGN) is illegal.
> ;;; The function (SETF PROGN) is illegal.
> ;;; The function (SETF PROGN) is illegal.
> ;;; The function (SETF PROGN) is illegal.
> ;;; The function (SETF PROGN) is illegal.
> ;;; The function (SETF PROGN) is illegal.
> ;;; The function (SETF PROGN) is illegal.
> ;;; The function (SETF PROGN) is illegal.
> ;;; The function (SETF PROGN) is illegal.
> ;;; The function (SETF PROGN) is illegal.
> ;;; The function (SETF PROGN) is illegal.
> No FASL generated.
> Test ENDP.ORDER.1 failed
> Form: (LET ((I 0)) (VALUES (ENDP (PROGN (INCF I) '(A B C))) I))
> Expected values: NIL
>                  1
> Actual value: #<CONDITIONS::INTERNAL-SIMPLE-FILE-ERROR.219>.
>  ENDP.ERROR.1
> ; (DEFUN COMPILER::CMP-ANON ...) is being compiled.
> ;;; The constant NIL is being assigned a value.
> ;;; The constant NIL is being assigned a value.
> ;;; The constant NIL is being assigned a value.
> ;;; The constant NIL is being assigned a value.
> No FASL generated.
> Test ENDP.ERROR.4 failed
> Form: (SIGNALS-ERROR (ENDP) PROGRAM-ERROR)
> Expected value: T
> Actual value: #<CONDITIONS::INTERNAL-SIMPLE-FILE-ERROR.220>.
> ; (DEFUN COMPILER::CMP-ANON ...) is being compiled.
> ;;; The constant NIL is being assigned a value.
> ;;; The constant NIL is being assigned a value.
> ;;; The constant NIL is being assigned a value.
> ;;; The constant NIL is being assigned a value.
> No FASL generated.
> Test ENDP.ERROR.5 failed
> Form: (SIGNALS-ERROR (ENDP NIL NIL) PROGRAM-ERROR)
> Expected value: T
> Actual value: #<CONDITIONS::INTERNAL-SIMPLE-FILE-ERROR.221>.
> Segmentation fault
> 
> 
> 

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