Parent Directory | Revision Log | Patch
revision 1.225 by pfdietz, Sat Mar 12 02:14:28 2005 UTC | revision 1.226 by pfdietz, Mon Mar 14 03:40:23 2005 UTC | |
---|---|---|
# | Line 10410 Broken at C::WT-MAKE-CLOSURE. | Line 10410 Broken at C::WT-MAKE-CLOSURE. |
10410 | (list c1 c2) | (list c1 c2) |
10411 | nil))) | nil))) |
10412 | nil) | nil) |
10413 | ||
10414 | ;;; sbcl 0.8.20.19 | |
10415 | ;;; The value 22 is not of type (MOD 22). | |
10416 | ||
10417 | (deftest misc.572 | |
10418 | (funcall | |
10419 | (compile | |
10420 | nil | |
10421 | '(lambda (p4) | |
10422 | (declare (optimize (speed 1) (safety 2) (debug 1) (space 1)) | |
10423 | (type (integer -59 65558) p4)) | |
10424 | (string<= #.(coerce "1yapt1l7eeenz72u6xqhdfimcyk" 'base-string) | |
10425 | #.(coerce "bababababbbabbabbababb" 'base-string) | |
10426 | :start2 | |
10427 | (the (integer -3735 *) p4)))) | |
10428 | 22) | |
10429 | nil) | |
10430 | ||
10431 | ;;; The value 0 is not of type NIL. | |
10432 | ||
10433 | (deftest misc.573 | |
10434 | (funcall | |
10435 | (compile | |
10436 | nil | |
10437 | '(lambda (p4) | |
10438 | (declare (optimize (speed 2) (safety 1) (debug 2) (space 2)) | |
10439 | (type unsigned-byte p4)) | |
10440 | (string<= (coerce "pdhd5oeynvqlthz3xrrdycotf" 'base-string) | |
10441 | (coerce "" 'base-string) | |
10442 | :start1 (the (integer * 81) p4)))) | |
10443 | 10) | |
10444 | nil) | |
10445 | ||
10446 | ;;; incorrect return value | |
10447 | ||
10448 | (deftest misc.574 | |
10449 | (funcall | |
10450 | (compile | |
10451 | nil | |
10452 | '(lambda (p4) | |
10453 | (declare (optimize (speed 3) (safety 1) | |
10454 | (debug 1) (space 2)) | |
10455 | (type (integer * 397079023) p4)) | |
10456 | (string<= "e99mo7yAJ6oU4" | |
10457 | "aaABAAbaa" | |
10458 | :start1 | |
10459 | (the | |
10460 | (member -34 | |
10461 | 131074 | |
10462 | 67108872 | |
10463 | 9 | |
10464 | -3305367300 | |
10465 | 335) | |
10466 | p4)))) | |
10467 | 9) | |
10468 | 9) |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |