[Ecls-list] gcl random tester applied to ecl

[Juan Jose Garcia-Ripoll]

On Sunday 21 September 2003 19:26, Paul F. Dietz wrote:
> As part of the gcl testing effort, I've put together a random lambda
> form generator to test lisp compilers.  I've just applied it to
> ecl.  There are some failures, for example:
> CL-TEST> (compile nil '(LAMBDA (A B C)
>            (DECLARE (TYPE (INTEGER -613699 -59790) A)
>                     (TYPE (INTEGER -208836538 -704293) B)
>                     (TYPE (INTEGER -1 5986085) C) (IGNORABLE A B C)
>                     (OPTIMIZE (SPEED 3) (SAFETY 1) (DEBUG 1)))
>            (BLOCK B6
>              (LET ((V7 (RETURN-FROM B6 C))) (LDB (BYTE 3 5) 592))))
> )
> ;;; Warning: The declaration specifier IGNORABLE is unknown.
> ;;; Compiling (SET 'C::GAZONK ...).
> ;;; Warning: The variable V7 is not used.
> ;;; Warning: The variable B is not used.
> ;;; Warning: The variable A is not used.
> ;;; End of Pass 1.  FIXNUM is not of type LIST.
> Broken at C::C2LET.

There is a typo in the inline expander for LDB. The fix should be available 
right now both in the experimental patches and in CVS. With that, I still get 
some new errors in your test suite, but I think they are unrelated to this 
issue.

Regards

Juanjo