gcl-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Paul F. Dietz
Subject: [Gcl-devel] (random tester) A compiler bug
Date: Thu, 25 Sep 2003 21:40:57 -0500
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.2.1) Gecko/20030225

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






reply via email to

[Prev in Thread] Current Thread [Next in Thread]