close Warning: Can't synchronize with repository "(default)" ("(default)" is not readable or not a Git repository.). Look in the Trac log for more information.

Opened 15 years ago

#32 new defect

Type derivation bug for floor

Reported by: Raymond Toy Owned by: somebody
Priority: major Milestone:
Component: Core Version: 19f
Keywords: Cc:

Description

The following code generates lots of compiler notes. I don't think the compiler should generate any notes. The issue, I think, comes from the maybe-inline definition of FLOOR. The derived types for q1, r1, q2, and r2 are also too general. If space > 0, then the derived types are the expected values (VALUES (MOD 19) (MOD 588) (MOD 21) (MOD 28))

(defun bug (code)
  (declare (optimize (speed 3) (space 0))
	   (type (integer #xAC00 #xD7A3) code))
  (multiple-value-bind (q1 r1)
      (floor (- code #xAC00) 588)
    (multiple-value-bind (q2 r2)
	(floor r1 28)
      (values q1 r1 q2 r2))))

Change History (0)

Note: See TracTickets for help on using tickets.