Changeset 13088

Timestamp:

Oct 22, 2009, 2:47:20 PM (15 years ago)

Author:

gz

Message:

Add tests for bug#612. Also uncomment some tests

File:

• trunk/tests/ansi-tests/ccl.lsp (modified) (4 diffs)

trunk/tests/ansi-tests/ccl.lsp

@@ -436 +436 @@
 
 
-#+ccl-0711
 (deftest ccl.47102
     (handler-case
@@ -1475 +1474 @@
 
 
-#+ccl-0711 (progn ;; not merged yet
 (deftest ccl.61783-1
     (test-compiler-warning "(defgeneric ccl.61783-1 (x y))
@@ -1527 +1525 @@
                             (defgeneric ccl.61783-6-rev (x &key a &allow-other-keys))")
   ())
-) ;; #+ccl-0711
-
+
+
+(deftest ccl.61783-7
+    (test-compiler-warning "(defgeneric ccl.61783-7 (x &key a &allow-other-keys))
+                            (defmethod ccl.61783-7 ((x integer) &rest args) args)")
+  ())
 
 (deftest ccl.bug#592
@@ -1548 +1550 @@
   nil t t)
 
+(deftest ccl.bug#612-1
+    (flet ((fn (x)
+             (declare (optimize (safety 2) (speed 1)))
+             (+ (load-time-value -14930786 t) 1826522792 x)
+             ))
+      (fn 0))
+  1811592006)
+
+(deftest ccl.bug#612-2
+    (flet ((fn (x)
+             (declare (optimize (safety 2)))
+             (+ (load-time-value 1) 1826522792 x)))
+      (fn 0))
+  1826522793)
+
+(deftest ccl.bug#612-3
+    (flet ((fn (p)
+             (declare (optimize (safety 1) (speed 1)))
+             (ccl::%inc-ptr p (expt 2 31))))
+      (fn (ccl::%null-ptr))
+      t)
+  t)