Re: [Gcl-devel] (random tester) A compiler bug

[Camm Maguire]

Thanks Paul!  Fixed in 2.6.1 and cvs HEAD.

Take care,

"Paul F. Dietz" <address@hidden> writes:

> Camm,
> 
>    I've been working on a dfferent kind of testing in the ansi-tests
> directory.  The random tester (see ansi-tests/random-int-form.lsp)
> generates, compiles (with two different optimization/inline settings)
> and evaluates randomly generated forms, looking for compiler failures
> or incorrect optimizations.  It then has a facility for pruning
> the failure down to a minimal core.
> 
>    This tool has been very useful in torturing other lisp implementations,
> quickly finding compiler errors in every one I've tried it on.  I've just
> gotten it running on gcl.  Here's a failure it reports after a few dozen
> tries:
> 
> -------
> 
> GCL (GNU Common Lisp)  (2.7.0) Thu Sep 25 21:27:51 CDT 2003
> Licensed under GNU Library General Public License
> Dedicated to the memory of W. Schelter
> 
> Use (help) to get some basic information on how to use GCL.
> 
>  >(compile nil
>  > '(lambda (c)
>  >    (declare (type (integer 0 2116708737024) c))
>  >    (let ((v5 (setq c 1912120477715))) c)))
> 
> Compiling gazonk0.lsp.
> ; (DEFUN COMPILER::CMP-ANON ...) is being compiled.
> ;; Warning: The variable V5 is not used.
> End of Pass 1.
> End of Pass 2.
> OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
> Finished compiling gazonk0.lsp.
> Loading gazonk0.o
> mpz_to_mpz is undefined
> Error in LET [or a callee]: Cannot get relocated section contents
> 
> 
> Fast links are on: do (use-fast-links nil) for debugging
> Broken at CONDITIONS::CLCS-LOAD.  Type :H for Help.
>   1 (Continue) Retry loading file #p"gazonk0.o".
>   2 (Abort) Return to top level.
> 
> -------
> 
>       Paul
> 
> 
> 
> 
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/gcl-devel
> 
> 
> 

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