Menu

#199 Incorrect value returned by compiled function

lisp error
closed-fixed
clisp (524)
5
2004-02-02
2004-02-02
No

The following bug was found by the gcl random tester
(on clisp built from cvs head on 29 Jan 2004)

(funcall
(compile
nil
`(lambda (b)
(declare (optimize (speed 2) (space 0) (safety 0)
(debug 3) (compilation-speed 3)))
(labels
((%f2 ()
(let ((v10 (progn (dotimes (iv2 0 0) iv2) b)))
(unwind-protect b (labels ((%f6 ())) (%f6)) ))))
(%f2))))
:good)
==> T ;; should be :GOOD

This bug was found in ~128K iterations of the random
tester on terms of size 1000. The tester had not
exposed any bugs in 3M iterations on terms of size 300,
which suggests that it be used with larger terms in the
future to capture bugs that require interaction of
multiple features.

Discussion

  • Sam Steingold

    Sam Steingold - 2004-02-02
    • status: open --> closed-fixed
     
  • Sam Steingold

    Sam Steingold - 2004-02-02

    Logged In: YES
    user_id=5735

    thank you for your bug report.
    the bug has been fixed in the CVS tree.
    you can either wait for the next release (recommended)
    or check out the current CVS tree (see http://clisp.cons.org\)
    and build CLISP from the sources (be advised that between
    releases the CVS tree is very unstable and may not even build
    on your platform).

     

Log in to post a comment.