Index: /trunk/tests/ansi-tests/ccl.lsp
===================================================================
--- /trunk/tests/ansi-tests/ccl.lsp	(revision 13087)
+++ /trunk/tests/ansi-tests/ccl.lsp	(revision 13088)
@@ -436,5 +436,4 @@
 
 
-#+ccl-0711
 (deftest ccl.47102
     (handler-case
@@ -1475,5 +1474,4 @@
 
 
-#+ccl-0711 (progn ;; not merged yet
 (deftest ccl.61783-1
     (test-compiler-warning "(defgeneric ccl.61783-1 (x y))
@@ -1527,6 +1525,10 @@
                             (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,2 +1550,24 @@
   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)