Custom Query (1030 matches)

The log below shows an incorrect evaluation result.

I've marked this as "critical", but perhaps it should be "blocker". ACL2 relies on such multiplication being correct for its own checksum computations. We are hoping to release a new version of ACL2 this week.

Welcome to Clozure Common Lisp Version 1.10-dev-r16148M-trunk  (LinuxX8664)!
? (defun foo (u v)
    (declare (type fixnum u v))
    (* u v))
FOO
? most-positive-fixnum
1152921504606846975
? (foo 100000000000 100000000000)
-441130959790669824
? 

see <​https://lists.clozure.com/pipermail/openmcl-devel/2016-May/011274.html>

./lx86cl
(load "home:quicklisp;setup")
(ql:quickload :manardb)
(in-package :manardb)
(defun junk () (lisp-object-to-mptr nil))
> Error: Compiler bug or inconsistency:
>        x862-form to freg #<ACODE nil NIL>