[Openmcl-devel] Wrong multiplication
eric.marsden at free.fr
Sat Jan 5 02:35:17 PST 2013
>>>>> "gb" == Gary Byers <gb at clozure.com> writes:
gb> (* most-negative-fixnum some-bignum) ; either arg order
gb> will produce an incorrect result on all architectures that CCL runs on.
gb> (The incorrect result will also likely differ on each invocation.)
gb> The bad news: this bug has likely been around forever.
This really is quite astonishing! CCL has been around for 25 years; it has
been considered as a platform for use in space; it is used intensively
as a theorem prover (ACL2) runtime; I assume that people have run
the Maxima test suite on it. I myself have run many days worth of random
integer testing. And noone had detected the bug until now ...
More information about the Openmcl-devel