From: Paul F. Dietz <dietz@dl...> - 2003-09-10 23:53:11
I've written a random test generator. Here are two new bugs it's found in sbcl:
(lcm 0 0) ==> division by zero (should be 0; see ansi-tests/lcm.lsp)
* (COMPILE NIL
'(LAMBDA (A B C D)
(DECLARE (TYPE (INTEGER -1 1000655) B)
(OPTIMIZE (SPEED 3) (SAFETY 1) (DEBUG 1)))
(ABS (- (+ B (LOGANDC1 -473949 (MAX 5165 (ABS (LOGANDC1 A 250775)))))))
(LOGCOUNT (LOGEQV (MAX (LOGXOR (ABS C) -1) 0) -4)))
debugger invoked on condition of type SB-INT:BUG:
failed AVER: "(CONTINUATION-NEXT CONT)"
This is probably a bug in SBCL itself. (Alternatively, SBCL might have been
corrupted by bad user code, e.g. by an undefined Lisp operation like
(FMAKUNBOUND 'COMPILE), or by stray pointers from alien code or from unsafe
Lisp code; or there might be a bug in the OS or hardware that SBCL is running
on.) If it seems to be a bug in SBCL itself, the maintainers would like to
know about it. Bug reports are welcome on the SBCL mailing lists, which you
can find at <http://sbcl.sourceforge.net/>.
"Paul F. Dietz" <dietz@...> writes:
Thanks for your reports (and for making your random tester available).
> (lcm 0 0) ==> division by zero (should be 0; see ansi-tests/lcm.lsp)
This has now been fixed, in sbcl-0.8.3.51
> debugger invoked on condition of type SB-INT:BUG:
> failed AVER: "(CONTINUATION-NEXT CONT)"
A fix for this, as well as your other test case, has been checked in
http://www-jcsu.jesus.cam.ac.uk/~csr21/ +44 1223 510 299/+44 7729 383 757
(set-pprint-dispatch 'number (lambda (s o) (declare (special b)) (format s b)))
(defvar b "~&Just another Lisp hacker~%") (pprint #36rJesusCollegeCambridge)