Comment 0 for bug 1990758

Revision history for this message
Paul F. Dietz (paul-f-dietz) wrote :

This is on x86-64

(defun f (a b)
  (declare (type (integer -85 6256) a))
  (declare (type (integer -14791607263799215929 14584958923992435760) b))
  (let ((v2 (abs b)))
     (if (> a v2)
         a
         (if (>= a v2)
             a
             0))))

(defun bug091 ()
  (f 3448 10787348803985068423))

(bug091) ==> 3488 (should be 0)