3294 |
(if (%f5 0 0 0) (%f5 a) 0)))) |
(if (%f5 0 0 0) (%f5 a) 0)))) |
3295 |
1 2) |
1 2) |
3296 |
1) |
1) |
3297 |
|
|
3298 |
|
;;; gcl bug (30-11-2003) |
3299 |
|
;;; Different results |
3300 |
|
|
3301 |
|
(deftest misc.198 |
3302 |
|
(let* ((form '(min (catch 'ct4 (throw 'ct4 (setq c 29119897960))) c)) |
3303 |
|
(fn1 `(lambda (c) |
3304 |
|
(declare (type (integer -70450 39128850560) c)) |
3305 |
|
(declare (optimize (speed 3) (safety 1) (debug 1))) |
3306 |
|
,form)) |
3307 |
|
(fn2 `(lambda (c) |
3308 |
|
(declare (notinline min)) |
3309 |
|
(declare (optimize (safety 3) (speed 0) (debug 3))) |
3310 |
|
,form))) |
3311 |
|
(let ((result1 (funcall (compile nil fn1) 3512352656)) |
3312 |
|
(result2 (funcall (compile nil fn2) 3512352656))) |
3313 |
|
(if (eql result1 result2) |
3314 |
|
:good |
3315 |
|
(list result1 result2)))) |
3316 |
|
:good) |