Parent Directory | Revision Log | Patch
revision 1.222 by pfdietz, Sun Mar 6 20:33:12 2005 UTC | revision 1.223 by pfdietz, Mon Mar 7 09:14:28 2005 UTC | |
---|---|---|
# | Line 10317 Broken at C::WT-MAKE-CLOSURE. | Line 10317 Broken at C::WT-MAKE-CLOSURE. |
10317 | #c(1.0d0 2.0d0)) | #c(1.0d0 2.0d0)) |
10318 | 'double-float)) | 'double-float)) |
10319 | t) | t) |
10320 | ||
10321 | ;;; ACL 6.2 (trial, x86 linux) | |
10322 | ;;; Incorrect return value (t instead of nil) | |
10323 | ||
10324 | (deftest misc.565 | |
10325 | (funcall | |
10326 | (compile | |
10327 | nil | |
10328 | '(lambda (x) | |
10329 | (declare (optimize (speed 2) (safety 1) (debug 3) (space 0)) | |
10330 | (type double-float x)) | |
10331 | (not (the (eql 1.0d0) x)))) | |
10332 | 1.0d0) | |
10333 | nil) | |
10334 | ||
10335 | ;;; ASH | |
10336 | ;;; Incorrect value (59 == (ash p1 -3)) | |
10337 | ||
10338 | (deftest misc.566 | |
10339 | (funcall | |
10340 | (compile | |
10341 | nil | |
10342 | '(lambda (p1) | |
10343 | (declare (optimize (speed 3) (safety 2) (debug 2) (space 0)) | |
10344 | (type (integer 465 127871) p1)) | |
10345 | (ash p1 -35))) | |
10346 | 477) | |
10347 | 0) | |
10348 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |