2022-09-25 10:34:21 |
Paul F. Dietz |
description |
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)
(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) ==> 3448 (should be 0) |
|