[Openmcl-devel] Wrong multiplication

Eric Marsden 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 ...

Eric Marsden

More information about the Openmcl-devel mailing list