9196 |
(conjugate (progn (catch 'ct5 (if t 0 0)) 0)))))) |
(conjugate (progn (catch 'ct5 (if t 0 0)) 0)))))) |
9197 |
0) |
0) |
9198 |
|
|
9199 |
|
;;; The value 5085 is not of type FUNCTION. |
9200 |
|
|
9201 |
|
(deftest misc.495 |
9202 |
|
(funcall |
9203 |
|
(compile nil '(lambda (a b) |
9204 |
|
(declare (type (integer -4197 284380207) a)) |
9205 |
|
(declare (type (integer -23 5088) b)) |
9206 |
|
(declare (ignorable a b)) |
9207 |
|
(declare (optimize (speed 1) (space 2) (debug 0) |
9208 |
|
(compilation-speed 0) (safety 2))) |
9209 |
|
(if (position (progn (1+ b) 0) |
9210 |
|
'(169496 -726 -13623 53307916 128 -258391 156 |
9211 |
|
7432659 30 20 -11)) |
9212 |
|
0 |
9213 |
|
a))) |
9214 |
|
72179019 5084) |
9215 |
|
72179019) |
9216 |
|
|
9217 |
|
;;; Inconsistent stack height 1 != 2 |
9218 |
|
|
9219 |
|
(deftest misc.496 |
9220 |
|
(let #+abcl ((jvm::*catch-errors* nil)) |
9221 |
|
nil |
9222 |
|
(funcall |
9223 |
|
(compile nil |
9224 |
|
'(lambda (a) |
9225 |
|
(declare (type (integer -54915 -3396) a)) |
9226 |
|
(declare (optimize (debug 3) (space 0) (safety 2) (speed 2) |
9227 |
|
(compilation-speed 3))) |
9228 |
|
(progn (1+ a) (catch 'ct6 (progn 0))))) |
9229 |
|
-25986)) |
9230 |
|
0) |
9231 |
|
|
9232 |
|
(deftest misc.497 |
9233 |
|
(let #+abcl ((jvm::*catch-errors* nil)) |
9234 |
|
nil |
9235 |
|
(funcall |
9236 |
|
(compile nil |
9237 |
|
'(lambda (b) |
9238 |
|
(declare (type (integer -1 0) b)) |
9239 |
|
(declare (optimize (space 3) (compilation-speed 1) |
9240 |
|
(safety 0) (debug 1) (speed 0))) |
9241 |
|
(if 0 (prog2 0 0 (1+ b)) 0))) |
9242 |
|
0)) |
9243 |
|
0) |
9244 |
|
|
9245 |
|
;;; Inconsistent stack height 1 != 0 |
9246 |
|
|
9247 |
|
(deftest misc.498 |
9248 |
|
(let #+abcl ((jvm::*catch-errors* nil)) |
9249 |
|
nil |
9250 |
|
(funcall |
9251 |
|
(compile nil |
9252 |
|
'(lambda (a) |
9253 |
|
(declare (type (integer -16191 4) a)) |
9254 |
|
(declare (optimize (compilation-speed 2) (space 1) (debug 0) |
9255 |
|
(safety 0) (speed 2))) |
9256 |
|
(conjugate (dotimes (iv1 0 0) |
9257 |
|
(let ((v2 (dotimes (iv3 0 0) (1+ a)))) |
9258 |
|
0))))) |
9259 |
|
-2840)) |
9260 |
|
0) |
9261 |
|
|
9262 |
|
;;; Incompatible object argument for function call |
9263 |
|
|
9264 |
|
(deftest misc.499 |
9265 |
|
(let #+abcl ((jvm::*catch-errors* nil)) |
9266 |
|
nil |
9267 |
|
(funcall |
9268 |
|
(compile nil |
9269 |
|
'(lambda (a b) |
9270 |
|
(declare (type (integer -31415 133871) a)) |
9271 |
|
(declare (type (integer -993 6448) b)) |
9272 |
|
(declare (ignorable a b)) |
9273 |
|
(declare (optimize (space 0) (debug 2) (safety 0) (speed 0) |
9274 |
|
(compilation-speed 0))) |
9275 |
|
(progn (ceiling (progn (1+ b) a)) a))) |
9276 |
|
-16435 2620)) |
9277 |
|
-16435) |
9278 |
|
|