January 2013 - cmucl-ticket - mailman3.common-lisp.net

[cmucl-ticket] [cmucl] #72: SIGFPE with no exceptions currently enabled?
by cmucl 01 Feb '13

01 Feb '13

#72: SIGFPE with no exceptions currently enabled? --------------------+------------------------------------------------------- Reporter: rtoy | Owner: somebody Type: defect | Status: new Priority: major | Milestone: Component: Core | Version: 2013-01 Keywords: | --------------------+------------------------------------------------------- While I've seen this SIGFPE issue before, I never tracked it down. Here is a repeatable case (from Carl): {{{ (defun test (x y) (declare (optimize (speed 3) (safety 0)) (type (signed-byte 32) x y)) (the (signed-byte 32) (truncate x y))) }}} Although the code lies to the compiler (the asserted return type of {{{truncate}}} is incorrect), the point is that {{{(test #x-80000000 -1)}}} causes the SIGFPE exception. I believe {{{sigfpe-handler}}} was only expecting to handle FP exceptions. In this example, the division causes an overflow which generates the SIGFPE. -- Ticket URL: <http://trac.common-lisp.net/cmucl/ticket/72> cmucl <http://common-lisp.net/project/cmucl> Cmucl is a high-performance, free Common Lisp implementation.

1 1

[cmucl-ticket] [cmucl] #65: Different results for {{{expt}}} between compiled and interpreted code
by cmucl 25 Jan '13

25 Jan '13

#65: Different results for {{{expt}}} between compiled and interpreted code --------------------+------------------------------------------------------- Reporter: rtoy | Owner: somebody Type: defect | Status: new Priority: major | Milestone: Component: Core | Version: 2012-12 Keywords: | --------------------+------------------------------------------------------- Consider {{{ (defun sqr (x) (declare (type (complex double-float) x)) (expt x 2)) }}} Compare the results: {{{ * (sqr #c(0d0 1d0)) #C(-1d0 0d0) * (expt #c(0d0 1d0)) #C(-1.0d0 1.2246467991473532d-16) }}} The difference is caused by a deftransform for {{{expt}}} that converts {{{(expt x 2)}}} to {{{(* x x)}}}. Perhaps the {{{expt}}} should be modified to do the same transformation when the power is one of the special values in the deftransform? (The deftransform handles 2, 3, 4, and 1/2.) -- Ticket URL: <http://trac.common-lisp.net/cmucl/ticket/65> cmucl <http://common-lisp.net/project/cmucl> Cmucl is a high-performance, free Common Lisp implementation.

1 4

[cmucl-ticket] [cmucl] #71: NOT-MORE-CONTAGIOUS broken for double-double-floats
by cmucl 25 Jan '13

25 Jan '13

#71: NOT-MORE-CONTAGIOUS broken for double-double-floats --------------------+------------------------------------------------------- Reporter: rtoy | Owner: somebody Type: defect | Status: new Priority: major | Milestone: Component: Core | Version: 2013-01 Keywords: | --------------------+------------------------------------------------------- Here is an example of the brokenness: {{{ (defun foo (x) (declare (type double-float x)) (expt x 2w0)) (compile 'foo) (foo 2d0) Invalid number of arguments: 1 [Condition of type KERNEL:SIMPLE-PROGRAM-ERROR] }}} This is a bug in {{{NOT-MORE-CONTAGIOUS}}} returning the wrong value. The power should cause result of {{{EXPT}}} to be a double-double-float, but the the deftransform just converts the call to a multiplication of two double-floats. This mismatch of the actual type and the derived type confuses the compiler and causes the weird error. -- Ticket URL: <http://trac.common-lisp.net/cmucl/ticket/71> cmucl <http://common-lisp.net/project/cmucl> Cmucl is a high-performance, free Common Lisp implementation.

1 1

[cmucl-ticket] [cmucl] #70: Source location error with a logical pathname default
by cmucl 24 Jan '13

24 Jan '13

#70: Source location error with a logical pathname default --------------------+------------------------------------------------------- Reporter: rtoy | Owner: somebody Type: defect | Status: new Priority: major | Milestone: Component: Core | Version: 2013-01 Keywords: | --------------------+------------------------------------------------------- When ticket:69 is fixed, the same code will then generated the following error: {{{ Parse error in namestring: Illegal character for logical pathname: #\/ /tmp/bar.lisp ^ [Condition of type LISP::NAMESTRING-PARSE-ERROR] Restarts: 0: [ABORT] Return to Top-Level. Debug (type H for help) (LISP::LOGICAL-CHUNKIFY "/tmp/foo.lisp" 0 13) Source: Error finding source: Parse error in namestring: Illegal character for logical pathname: #\/ target:code/pathname.lisp ^ 0] }}} The first error message is ok. The error about finding the source happens again because the source information is stored as a namestring which the debugger uses to open the source file. However, it's merged with the logical pathname in {{{*default-pathname-defaults*}}}, causing another error because the search-list namestring is treated as a logical pathname namestring. -- Ticket URL: <http://trac.common-lisp.net/cmucl/ticket/70> cmucl <http://common-lisp.net/project/cmucl> Cmucl is a high-performance, free Common Lisp implementation.

1 1

[cmucl-ticket] [cmucl] #69: Error parsing ext-formats:unidata.bin
by cmucl 17 Jan '13

17 Jan '13

#69: Error parsing ext-formats:unidata.bin --------------------+------------------------------------------------------- Reporter: rtoy | Owner: somebody Type: defect | Status: new Priority: major | Milestone: Component: Core | Version: 2013-01 Keywords: | --------------------+------------------------------------------------------- Consider the following: {{{ (setf (logical-pathname-translations "foo") '(("**;*.*.*" "/tmp/**/*.*"))) (let ((*default-pathname-defaults* #p"foo:")) (pathname "/tmp/bar.lisp")) }}} This causes an error: {{{ Unable to display error condition: File-error in function LISP::FIND-LOGICAL-HOST: Logical host not yet defined: "EXT-FORMATS" [Condition of type LISP::NAMESTRING-PARSE-ERROR] }}} This happens because CMUCL wants to look up some unicode property and needs to load the unicode database from ext-formats:unidata.bin. Because we use a namestring, this gets merged with {{{*default-pathname- defaults*}}} and is incorrectly parsed as a logical pathname namestring. -- Ticket URL: <http://trac.common-lisp.net/cmucl/ticket/69> cmucl <http://common-lisp.net/project/cmucl> Cmucl is a high-performance, free Common Lisp implementation.

1 1