Ticket #735 (closed defect: fixed)

Opened 3 years ago

Last modified 3 years ago

LOGNOR: invalid results with type declarations

Reported by: emarsden Owned by:
Priority: normal Milestone: Clozure CL 1.6
Component: Compiler Version: trunk
Keywords: Cc:

Description 

? (lisp-implementation-version)
"Version 1.6-dev-r14231M  (LinuxX8632)"
? (defun diff (x)
  (- (locally
         (declare (type (integer 1000000000 2000000000) x))
       (lognor -10 x))
     (lognor -10 x)))
DIFF
? (diff 20)
-4294967296

Change History

Changed 3 years ago by rme

  • status changed from new to closed
  • resolution set to fixed

The compiler doesn't screw this up now.

This test is in the test suite now.

Note: See TracTickets for help on using tickets.