Custom Query (1030 matches)
Results (616 - 618 of 1030)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #1107 | fixed | "Registers clobbered" error | ||
| Description |
The attached file produces an error in CCL, startup banner: Welcome to Clozure Common Lisp Version 1.10-dev-r15881M-trunk (LinuxX8664)! The error message is as shown below. % /projects/acl2/lisps/ccl/ccl-15881 Starting 64-bit CCL Welcome to Clozure Common Lisp Version 1.10-dev-r15881M-trunk (LinuxX8664)! ? (load "bug.lisp") > Error: Registers clobbered applying G to (3) > save0 sb: NIL, Was: 4 > save1 sb: #1=(NIL), Was: #1# > save2 sb: *SAVE-SOURCE-LOCATIONS*, Was: *SAVE-SOURCE-LOCATIONS* > save3 sb: #2=#<CCL::LEXICAL-ENVIRONMENT #x302000496AAD>, Was: #2# > > While executing: (:INTERNAL CCL::WITH-COMPILATION-UNIT-BODY CCL::LOAD-FROM-STREAM), in process listener(1). > Type :POP to abort, :R for a list of available restarts. > Type :? for other options. 1 > Perhaps this related to CCL's optimized handling of CASE expressions in some situations; for example, changing 2 to 8 in this example makes the problem disappear. By the way, I tried it on a Mac too, with a slightly older version of CCL and got a similar error. Startup banner there was: Welcome to Clozure Common Lisp Version 1.10-dev-r15835M-trunk (DarwinX8664)! |
|||
| #1201 | fixed | compiler mishandles a call of * | ||
| Description |
The following log probably describes the bug fully. I'm not sure how to assign the priority, but this seems major to me. It occurs in 16119 but not in 15915. dunnottar:~% uname -a
Linux dunnottar 3.2.0-64-generic #97-Ubuntu SMP Wed Jun 4 22:04:21 UTC 2014 x86_64 x86_64 x86_64 GNU/Linux
dunnottar:~% ccl
Welcome to Clozure Common Lisp Version 1.10-dev-r16119M-trunk (LinuxX8664)!
? (defun foo (ar)
(* (aref (the (simple-array fixnum (*)) ar)
0)
(the (signed-byte 61) 1)))
> Error: The value NIL is not of the expected type INTEGER.
> While executing: INTEGER-LENGTH, in process listener(1).
> Type :POP to abort, :R for a list of available restarts.
> Type :? for other options.
1 >
|
|||
| #1211 | fixed | Compiler bug in multiplying fixnums | ||
| Description |
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
?
|
|||
