8281 |
-7639589303599 -1368) |
-7639589303599 -1368) |
8282 |
0) |
0) |
8283 |
|
|
8284 |
|
;;; failed AVER: |
8285 |
|
;;; "(AND (EQ (CTRAN-KIND START) INSIDE-BLOCK) (NOT (BLOCK-DELETE-P BLOCK)))" |
8286 |
|
(deftest misc.435 |
8287 |
|
(funcall |
8288 |
|
(compile |
8289 |
|
nil |
8290 |
|
'(lambda (a b c d) |
8291 |
|
(declare (notinline aref logandc2 gcd make-array)) |
8292 |
|
(declare |
8293 |
|
(optimize (space 0) |
8294 |
|
(safety 0) |
8295 |
|
(compilation-speed 3) |
8296 |
|
(speed 3) |
8297 |
|
(debug 1) |
8298 |
|
)) |
8299 |
|
(progn |
8300 |
|
(tagbody |
8301 |
|
(let* ((v2 |
8302 |
|
(make-array nil :initial-element (catch 'ct1 (go tag2))))) |
8303 |
|
(declare (dynamic-extent v2)) |
8304 |
|
(gcd (go tag2) (logandc2 (catch 'ct2 c) (aref v2)))) |
8305 |
|
tag2) |
8306 |
|
0))) |
8307 |
|
3021871717588 -866608 -2 -17194) |
8308 |
|
0) |
8309 |
|
|