Index: /trunk/tests/ansi-tests/ccl.lsp
===================================================================
--- /trunk/tests/ansi-tests/ccl.lsp	(revision 13149)
+++ /trunk/tests/ansi-tests/ccl.lsp	(revision 13150)
@@ -1580,2 +1580,19 @@
   :symbol-macro
   :special)
+
+(deftest ccl.bug#617
+    (flet ((test ()
+             (declare (optimize (speed 1) (safety 1)))
+             (symbol-macrolet ((inc 0.5))
+               (loop with y = 0 do (incf y inc) while (< y 2)))))
+      (test))
+  nil)
+
+(deftest ccl.bug#620
+    (progn
+      (test-compile (test-source-file "(defun ccl.bug#620.fn (buckets x y)
+                                        (declare (type (simple-array t (* *)) buckets))
+                                        (let ((result (aref buckets x y)))
+                                            result))"))
+      :win)
+  :win)