8466 |
805) |
805) |
8467 |
0) |
0) |
8468 |
|
|
8469 |
|
;;; "The value -13589 is not of type (INTEGER -15205 18871)" |
8470 |
|
(deftest misc.439 |
8471 |
|
(funcall |
8472 |
|
(compile |
8473 |
|
nil |
8474 |
|
'(lambda (a) |
8475 |
|
(declare (type (integer -15205 18871) a)) |
8476 |
|
(declare (ignorable a)) |
8477 |
|
(declare |
8478 |
|
(optimize (space 2) |
8479 |
|
; (sb-c:insert-step-conditions 0) |
8480 |
|
(speed 1) |
8481 |
|
(safety 1) |
8482 |
|
(debug 1) |
8483 |
|
(compilation-speed 3))) |
8484 |
|
(if (<= a (- (setf a 10305))) a 0))) |
8485 |
|
-13589) |
8486 |
|
10305) |
8487 |
|
|
8488 |
|
;;; In ACL 7.0 (sparc, Solaris 8, 11 Nov 2004) |
8489 |
|
;;; Error: the value of (CAR EXCL::INTEGERS) is NIL, which is not of type INTEGER. |
8490 |
|
|
8491 |
|
(deftest misc.440 |
8492 |
|
(funcall |
8493 |
|
(compile |
8494 |
|
nil |
8495 |
|
'(lambda (a b c) |
8496 |
|
(declare (notinline logior)) |
8497 |
|
(declare (optimize (safety 3) (debug 1) (speed 0) (space 1) |
8498 |
|
(compilation-speed 3))) |
8499 |
|
(flet ((%f10 (&optional &key |
8500 |
|
(key1 |
8501 |
|
(logior (flet ((%f4 (f4-1 |
8502 |
|
&optional |
8503 |
|
&key |
8504 |
|
(key1 0) |
8505 |
|
(key2 b) |
8506 |
|
&allow-other-keys) |
8507 |
|
c)) |
8508 |
|
(%f4 0)))) |
8509 |
|
&allow-other-keys) |
8510 |
|
0)) |
8511 |
|
(let ((*s8* (%f10))) |
8512 |
|
(declare (special *s8*)) |
8513 |
|
*s8*)))) |
8514 |
|
13524 4484529434427 8109510572804) |
8515 |
|
0) |
8516 |
|
|
8517 |
|
;;; Error: the value of realpart is nil, which is not of type (or rational float). |
8518 |
|
(deftest misc.441 |
8519 |
|
(funcall |
8520 |
|
(compile |
8521 |
|
nil |
8522 |
|
'(lambda (a b) |
8523 |
|
(declare (notinline complex)) |
8524 |
|
(declare (optimize (compilation-speed 1) (space 1) (speed 3) (safety 2) (debug 3))) |
8525 |
|
(flet ((%f8 (f8-1 f8-2 &optional |
8526 |
|
&key (key1 (labels ((%f9 nil a)) (complex (%f9) 0))) |
8527 |
|
(key2 0) &allow-other-keys) |
8528 |
|
0)) |
8529 |
|
(%f8 0 a)))) |
8530 |
|
1 2) |
8531 |
|
0) |
8532 |
|
|
8533 |
|
;;; Error: the value of excl::x is nil, which is not of type integer. |
8534 |
|
(deftest misc.442 |
8535 |
|
(funcall |
8536 |
|
(compile |
8537 |
|
nil |
8538 |
|
'(lambda (a b) |
8539 |
|
(declare (notinline apply evenp)) |
8540 |
|
(declare (optimize (speed 1) (space 1) (safety 1) (compilation-speed 0) (debug 0))) |
8541 |
|
(labels ((%f18 (f18-1 &optional |
8542 |
|
&key |
8543 |
|
(key1 (flet ((%f8 nil b)) (if (evenp (%f8)) 0 a))) |
8544 |
|
(key2 0)) |
8545 |
|
0)) |
8546 |
|
(apply #'%f18 b nil)))) |
8547 |
|
505808341634 -39752189) |
8548 |
|
0) |
8549 |
|
|
8550 |
|
;;; Error: No from-creg to move to <3:iparam2@(:iparam 2){4=c{s:<3>}}> before (move-throw-tag nil nil -> ({18}) ([18>>:frame :dfr])) |
8551 |
|
|
8552 |
|
(deftest misc.443 |
8553 |
|
(funcall |
8554 |
|
(compile |
8555 |
|
nil |
8556 |
|
'(lambda (a b c d e) |
8557 |
|
(declare (type (integer -2310674 2) a)) |
8558 |
|
(declare (type (integer -492505702625 -147091001460) b)) |
8559 |
|
(declare (type (integer -27638568 52971156) c)) |
8560 |
|
(declare (type (integer -151 203) d)) |
8561 |
|
(declare (type (integer -1400301 8173230) e)) |
8562 |
|
(declare (ignorable a b c d e)) |
8563 |
|
(declare (optimize (compilation-speed 3) (debug 0) (space 0) (safety 1) (speed 1))) |
8564 |
|
(catch 'ct7 (lcm (case 0 |
8565 |
|
((-4557) (let ((*s7* (max d))) 0)) |
8566 |
|
((-15387) c) |
8567 |
|
(t 0)) |
8568 |
|
(unwind-protect (throw 'ct7 b) 0))))) |
8569 |
|
-1748290 -244489705763 38969920 -90 341977) |
8570 |
|
-244489705763) |