10361 |
-4) |
-4) |
10362 |
(scale-float -15193.341216130497d0 -4)) |
(scale-float -15193.341216130497d0 -4)) |
10363 |
t) |
t) |
10364 |
|
|
10365 |
|
;;; ACL 7.0 (x86 linux) |
10366 |
|
;;; Found by random type prop tests |
10367 |
|
|
10368 |
|
;;; Error: Attempt to divide 13026.059 by zero. |
10369 |
|
(deftest misc.568 |
10370 |
|
(values |
10371 |
|
(funcall |
10372 |
|
(compile nil '(lambda (p2) |
10373 |
|
(declare (optimize (speed 1) (safety 3) (debug 3) (space 1)) |
10374 |
|
(type (rational * 5325/3112) p2)) |
10375 |
|
(floor 13026.059 (the (member 5325/3112 0 -2316/167 -449/460) p2)))) |
10376 |
|
5325/3112)) |
10377 |
|
7612) |
10378 |
|
|
10379 |
|
;;; Error: Attempt to take the car of #2\%b which is not listp. |
10380 |
|
(deftest misc.569 |
10381 |
|
(funcall |
10382 |
|
(compile |
10383 |
|
nil |
10384 |
|
'(lambda (p2) |
10385 |
|
(declare (optimize (speed 3) (safety 2) (debug 1) (space 2)) |
10386 |
|
(type t p2)) |
10387 |
|
(ash -2609443 (the (integer -3 0) p2)))) |
10388 |
|
-1) |
10389 |
|
-1304722) |
10390 |
|
|
10391 |
|
;;; Incorrect return value |
10392 |
|
(deftest misc.570 |
10393 |
|
(funcall (compile nil '(lambda () |
10394 |
|
(declare (optimize (speed 3) (safety 1))) |
10395 |
|
(char-equal #\: #\: #\;)))) |
10396 |
|
nil) |
10397 |
|
|
10398 |
|
;;; CODE-CHAR returns incorrect result |
10399 |
|
;;; (ACL7.0, 8 bit character image) |
10400 |
|
|
10401 |
|
(deftest misc.571 |
10402 |
|
(and (< 1000 char-code-limit) |
10403 |
|
(let ((c1 (code-char 1000)) |
10404 |
|
(c2 |
10405 |
|
(funcall (compile nil '(lambda (x) |
10406 |
|
(declare (optimize speed (safety 1))) |
10407 |
|
(code-char x))) |
10408 |
|
1000))) |
10409 |
|
(if (not (eql c1 c2)) |
10410 |
|
(list c1 c2) |
10411 |
|
nil))) |
10412 |
|
nil) |