Changeset 14236

Timestamp:

Sep 7, 2010, 6:10:54 PM (9 years ago)

Author:

rme

Message:

Tests for #735 and #736.

Also remove a duplicate test for #708.

File:

• trunk/tests/ansi-tests/ccl.lsp (modified) (1 diff)

trunk/tests/ansi-tests/ccl.lsp

@@ -1699 +1699 @@
       (- (one 67660763903986) (two 67660763903986)))
   0)
+
+(deftest ccl.bug#735
+  (flet ((diff (x)
+           (- (locally
+                  (declare (type (integer 1000000000 2000000000) x))
+                (lognor -10 x))
+              (lognor -10 x))))
+    (diff 20))
+  0)
+
+(deftest ccl.bug#736
+  (flet ((foo (a b)
+           (declare (type (integer -314476952 -84061465) a))
+           (declare (type (integer 16008 1204497162) b))
+           (logand b (the integer a))))
+    (foo -299404531 1081111751))
+  1075867653)