Parent Directory | Revision Log | Patch
revision 1.174 by pfdietz, Thu Dec 23 11:55:14 2004 UTC | revision 1.175 by pfdietz, Fri Dec 24 17:02:03 2004 UTC | |
---|---|---|
# | Line 8847 Broken at C::WT-MAKE-CLOSURE. | Line 8847 Broken at C::WT-MAKE-CLOSURE. |
8847 | -17635) | -17635) |
8848 | -17635) | -17635) |
8849 | ||
8850 | ;;; ACL 6.2 (x86 linux) | |
8851 | ;;; Bug in type propagation for ISQRT | |
8852 | ;;; Found with the special purpose random tester for type propagation | |
8853 | ||
8854 | ;;; While compiling (:ANONYMOUS-LAMBDA 22203): | |
8855 | ;;; Error: -1 is illegal argument to isqrt | |
8856 | ||
8857 | (deftest misc.466 | |
8858 | (funcall (compile nil '(lambda (x) | |
8859 | (declare (type (member 4 -1) x) | |
8860 | (optimize speed (safety 1))) | |
8861 | (isqrt x))) | |
8862 | 4) | |
8863 | 2) |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |