Re: [Gcl-devel] Additional structure tests added

[Peter Wood]

On Sun, Dec 29, 2002 at 07:47:09PM -0600, Paul F. Dietz wrote:
> I'm back from Christmas vacation.  I've added some more structure tests.
> The test suite is now causing gcl to seg fault after catching an error
> (this is on x86 Linux):
> 
> 
> address@hidden ansi-tests]$ gcl
> GCL (GNU Common Lisp)  Version(2.5.0) Sun Dec 29 14:23:41 CST 2002
> Licensed under GNU Library General Public License
> Contains Enhancements by W. Schelter
> 
> >(Load "gclload.lsp")
> 
> [...]
> 
>  STRUCT-TEST-21/5 STRUCT-TEST-21/6 STRUCT-TEST-21/7 STRUCT-TEST-21/8
>  STRUCT-TEST-21/9 STRUCT-TEST-21/11
> Test STRUCT-TEST-21/13 failed
> Form: (NOTNOT (TYPEP (MAKE-STRUCT-TEST-21)
>                      (FIND-CLASS 'STRUCT-TEST-21)))
> Expected value: T
> Actual value: #<CONDITIONS::INTERNAL-SIMPLE-PROGRAM-ERROR.74>.
>  STRUCT-TEST-21/14 STRUCT-TEST-21/15 STRUCT-TEST-21/16
> Test STRUCT-TEST-21/17 failed
> Form: (LET ((CLASS (FIND-CLASS 'STRUCT-TEST-21)))
>         (LOOP
>           FOR
>           TYPE
>           IN
>           *DISJOINT-TYPES-LIST*
>           UNLESS
>           (AND (EQUALT (MULTIPLE-VALUE-LIST (SUBTYPEP* TYPE CLASS))
>                        '(NIL T))
>                (EQUALT (MULTIPLE-VALUE-LIST (SUBTYPEP* CLASS TYPE))
>                        '(NIL T)))
>           COLLECT
>           TYPE))
> Expected value: NIL
> Actual value: #<CONDITIONS::INTERNAL-SIMPLE-PROGRAM-ERROR.75>.
>  STRUCT-TEST-22/1 STRUCT-TEST-22/2 STRUCT-TEST-22/3 STRUCT-TEST-22/4
>  STRUCT-TEST-22/5 STRUCT-TEST-22/6 STRUCT-TEST-22/7 STRUCT-TEST-22/8
>  STRUCT-TEST-22/9
> Test STRUCT-TEST-22/13 failed
> Form: (NOTNOT (TYPEP (MAKE-STRUCT-TEST-22)
>                      (FIND-CLASS 'STRUCT-TEST-22)))
> Expected value: T
> Actual value: #<CONDITIONS::INTERNAL-SIMPLE-STREAM-ERROR.76>.
> 
> Unrecoverable error: Segmentation violation..
> Aborted
> 

Hi Paul.

On my version of GCL, a memory violation is a 'storage-condition', not
an error, so the rt handler is not interfering with
our_signal_handler(), and the process does not abort (I take this as
another confirmation that my error condition patches were the right
thing).

The culprit is find-class, not typep (my #'typep does take class
arguments, and most of the struct tests are passing).  For some
reason, the defstruct form for struct-test-22 is not working properly
with PCL's clos system.  I am in the process of trying to figure out
what is going on.

I hope to report some progress on this soon.

Regards,
Peter