On 07/19/2012 12:20 AM, Eric Marsden wrote:
Hi,

More bugs from random-integer testing.


This is SBCL 1.0.57.59-97527a4-dirty, an implementation of ANSI Common Lisp.
* (defun bug (x)
    (declare (optimize (space 3))
             (type (integer 12417236377505266230 12417274239874990070) x))
    (logand 8459622733968096971 x))
* (bug 12417237222845306758)
11836165733894624898    ;; <- incorrect, should be 2612793697039849090


Just tried this in 1.0.55.0.debian-linux-x86-64 and it comes out as it should be.

Jeff Cunningham