Custom Query (1030 matches)

(lambda (x) (- (if x most-positive-fixnum most-negative-fixnum)))
> Error: The value NIL is not of the expected type CCL::CTYPE.
> While executing: CCL::TYPE-SPECIFIER

After upgrading my Arch Linux kernel to 3.15, Clozure consistantly aborts with a "Clozure CL kernel debugger: " prompt.

In gdb:

$ gdb ./lx86cl64
...
(gdb) run --image-name lx86cl64.image --no-init
Starting program: /home/local64-arch/apps/ccl-1.9/lx86cl64 --image-name lx86cl64.image --no-init
warning: Could not load shared library symbols for linux-vdso.so.1.
Do you need "set solib-search-path" or "set sysroot"?
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/usr/lib/libthread_db.so.1".

Program received signal SIGSEGV, Segmentation fault.
x86_early_exception_init () at ../x86-exceptions.c:106
106	  do_intn();
(gdb) 

From the comments in x86-exceptions.c, evidently the workaround for handling exceptions has been broken.

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
?