2166 |
))) |
))) |
2167 |
0) |
0) |
2168 |
2829254) |
2829254) |
2169 |
|
|
2170 |
|
;;; sbcl failures |
2171 |
|
|
2172 |
|
;;; The value NIL is not of type SB-C::NODE. |
2173 |
|
(deftest misc.165 |
2174 |
|
(funcall |
2175 |
|
(compile |
2176 |
|
nil |
2177 |
|
'(lambda (a b c) |
2178 |
|
(block b3 |
2179 |
|
(flet ((%f15 |
2180 |
|
(f15-1 f15-2 f15-3 |
2181 |
|
&optional |
2182 |
|
(f15-4 |
2183 |
|
(flet ((%f17 |
2184 |
|
(f17-1 f17-2 f17-3 |
2185 |
|
&optional (f17-4 185155520) (f17-5 c) |
2186 |
|
(f17-6 37)) |
2187 |
|
c)) |
2188 |
|
(%f17 -1046 a 1115306 (%f17 b -146330 422) -337817))) |
2189 |
|
(f15-5 a) (f15-6 -40)) |
2190 |
|
(return-from b3 -16))) |
2191 |
|
(multiple-value-call #'%f15 (values -519354 a 121 c -1905)))))) |
2192 |
|
0 0 -5) |
2193 |
|
-16) |
2194 |
|
|
2195 |
|
;;; failed AVER: |
2196 |
|
;;; "(NOT |
2197 |
|
;;; (AND (NULL (BLOCK-SUCC B)) |
2198 |
|
;;; (NOT (BLOCK-DELETE-P B)) |
2199 |
|
;;; (NOT (EQ B (COMPONENT-HEAD #)))))" |
2200 |
|
|
2201 |
|
(deftest misc.166 |
2202 |
|
(funcall |
2203 |
|
(compile |
2204 |
|
nil |
2205 |
|
'(lambda (a b c) |
2206 |
|
(labels ((%f4 |
2207 |
|
(f4-1 f4-2 &optional (f4-3 b) (f4-4 c) (f4-5 -170)) |
2208 |
|
(let ((v2 |
2209 |
|
(flet ((%f3 |
2210 |
|
(f3-1 |
2211 |
|
&optional (f3-2 28476586) (f3-3 c) |
2212 |
|
(f3-4 -9240)) |
2213 |
|
(return-from %f4 1))) |
2214 |
|
(multiple-value-call |
2215 |
|
#'%f3 |
2216 |
|
(values -479909 19843799 f4-5 -463858))))) |
2217 |
|
b))) |
2218 |
|
c))) |
2219 |
|
0 0 -223721124) |
2220 |
|
-223721124) |
2221 |
|
|
2222 |
|
(deftest misc.167 |
2223 |
|
(funcall |
2224 |
|
(compile |
2225 |
|
nil |
2226 |
|
'(lambda (a b c) |
2227 |
|
(flet ((%f5 (f5-1 f5-2) |
2228 |
|
(return-from %f5 604245664))) |
2229 |
|
(flet ((%f12 |
2230 |
|
(f12-1 f12-2 |
2231 |
|
&optional (f12-3 c) (f12-4 -579456) |
2232 |
|
(f12-5 |
2233 |
|
(labels ((%f9 |
2234 |
|
(f9-1 |
2235 |
|
&optional |
2236 |
|
(f9-2 |
2237 |
|
(%f5 1 |
2238 |
|
(let ((v4 (%f5 30732606 a))) |
2239 |
|
b))) |
2240 |
|
(f9-3 -29) |
2241 |
|
(f9-4 |
2242 |
|
(block b4 |
2243 |
|
(labels ((%f14 () |
2244 |
|
(labels ((%f18 |
2245 |
|
(&optional |
2246 |
|
(f18-1 |
2247 |
|
(locally |
2248 |
|
592928)) |
2249 |
|
(f18-2 -3) |
2250 |
|
(f18-3 |
2251 |
|
(return-from |
2252 |
|
b4 a))) |
2253 |
|
f18-1)) |
2254 |
|
(%f18 74214190 a)))) |
2255 |
|
(%f14))))) |
2256 |
|
-1)) |
2257 |
|
(flet ((%f17 |
2258 |
|
(f17-1 f17-2 &optional (f17-3 -136045032)) |
2259 |
|
-38655)) |
2260 |
|
(%f17 43873 -138030706 -1372492))))) |
2261 |
|
(return-from %f12 -15216677))) |
2262 |
|
(%f12 (%f5 b 2329383) a))))) |
2263 |
|
1 2 3) |
2264 |
|
-15216677) |
2265 |
|
|
2266 |
|
(deftest misc.168 |
2267 |
|
(funcall |
2268 |
|
(compile |
2269 |
|
nil |
2270 |
|
'(lambda (a b c) |
2271 |
|
(block b3 |
2272 |
|
(flet ((%f11 |
2273 |
|
(f11-1 f11-2 |
2274 |
|
&optional |
2275 |
|
(f11-3 |
2276 |
|
(block b6 |
2277 |
|
(labels ((%f11 |
2278 |
|
(f11-1 |
2279 |
|
&optional (f11-2 c) |
2280 |
|
(f11-3 (return-from b6 -1806))) |
2281 |
|
(return-from b3 -28432))) |
2282 |
|
(apply #'%f11 (list -114)))))) |
2283 |
|
(return-from %f11 f11-2))) |
2284 |
|
(%f11 b |
2285 |
|
c |
2286 |
|
(labels ((%f10 |
2287 |
|
(f10-1 f10-2 |
2288 |
|
&optional (f10-3 a) (f10-4 (%f11 -3931 170))) |
2289 |
|
-1704759)) |
2290 |
|
c)))))) |
2291 |
|
1 2 3) |
2292 |
|
3) |
2293 |
|
|
2294 |
|
|