Opened 9 years ago

Closed 9 years ago

#735 closed defect (fixed)

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 (1)

comment:1 Changed 9 years ago by rme

  • Resolution set to fixed
  • Status changed from new to closed

The compiler doesn't screw this up now.

This test is in the test suite now.

Note: See TracTickets for help on using tickets.