8191 |
v5)))) |
v5)))) |
8192 |
17) |
17) |
8193 |
17) |
17) |
8194 |
|
|
8195 |
|
(deftest misc.428 |
8196 |
|
(funcall |
8197 |
|
(compile |
8198 |
|
nil |
8199 |
|
'(lambda () |
8200 |
|
(declare (notinline -)) |
8201 |
|
(declare (optimize (compilation-speed 0) (safety 1) (speed 0) |
8202 |
|
(debug 2) (space 3))) |
8203 |
|
(let ((v10 (catch 'ct2 1))) |
8204 |
|
(declare (dynamic-extent v10)) |
8205 |
|
(- v10))))) |
8206 |
|
-1) |
8207 |
|
|
8208 |
|
(deftest misc.429 |
8209 |
|
(funcall |
8210 |
|
(compile |
8211 |
|
nil |
8212 |
|
'(lambda () |
8213 |
|
(declare (optimize (safety 1) (debug 1) (space 2) |
8214 |
|
(speed 2) (compilation-speed 1))) |
8215 |
|
(let ((v8 (let ((*s3* 0)) *s3*))) |
8216 |
|
(declare (dynamic-extent v8)) |
8217 |
|
(logandc1 v8 28))))) |
8218 |
|
28) |
8219 |
|
|