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)
This is on x86-64
(defun f (a b) 215929 145849589239924 35760) b))
(declare (type (integer -85 6256) a))
(declare (type (integer -14791607263799
(let ((v2 (abs b)))
(if (> a v2)
a
(if (>= a v2)
a
0))))
(defun bug091 () 68423))
(f 3448 107873488039850
(bug091) ==> 3488 (should be 0)