[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] (random tester) A compiler bug
From: |
Camm Maguire |
Subject: |
Re: [Gcl-devel] (random tester) A compiler bug |
Date: |
26 Sep 2003 09:52:59 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
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