Opened 3 years ago

#1401 new defect

bug in type derivation with ash

Reported by: rme Owned by:
Priority: normal Milestone:
Component: other Version: trunk
Keywords: Cc:


Found using random testing.

? (lisp-implementation-version)
"Version 1.12-dev-r16808M  (LinuxX8664)"
? (defun foo (a b)
   (declare (type (eql 271) a) (type (eql -66) b))
   (ash a b))
? (foo 271 -66)
67     ;; <-- expecting 0

This is reported to work as expected in 1.10.


Change History (0)

Note: See TracTickets for help on using tickets.