X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fdfo.lisp;h=dd304c7e753fa18c9afcb403b1e469245677b760;hb=dfa55a883f94470267b626dae77ce7e7dfac3df6;hp=85507eb2e585f5ee2c7b4e5085ea511ba5ea20ca;hpb=cea4896b2482b7b2b429c1631d774b4cfbc0efba;p=sbcl.git

diff --git a/src/compiler/dfo.lisp b/src/compiler/dfo.lisp
index 85507eb..dd304c7 100644
--- a/src/compiler/dfo.lisp
+++ b/src/compiler/dfo.lisp
@@ -44,7 +44,7 @@
 ;;; before FIND-INITIAL-DFO runs.]
 (declaim (ftype (function (component component) (values)) join-components))
 (defun join-components (new old)
-  (assert (eq (component-kind new) (component-kind old)))
+  (aver (eq (component-kind new) (component-kind old)))
   (let ((old-head (component-head old))
 	(old-tail (component-tail old))
 	(head (component-head new))
@@ -304,15 +304,15 @@
       (dolist (tll lambdas)
 	(let ((component (block-component (node-block (lambda-bind tll)))))
 	  (dolist (fun (component-lambdas component))
-	    (assert (member (functional-kind fun)
-			    '(:optional :external :top-level nil :escape
-					:cleanup)))
+	    (aver (member (functional-kind fun)
+			  '(:optional :external :top-level nil :escape
+				      :cleanup)))
 	    (let ((res (dfo-walk-call-graph fun new)))
 	      (when (eq res new)
 		(components new)
 		(setq new (make-empty-component)))))
 	  (when (eq (component-kind component) :initial)
-	    (assert (null (component-lambdas component)))
+	    (aver (null (component-lambdas component)))
 	    (let ((tail (component-tail component)))
 	      (dolist (pred (block-pred tail))
 		(let ((pred-component (block-component pred)))
@@ -378,12 +378,12 @@
 	(unlink-blocks pred tail)
 	(let ((last (block-last pred)))
 	  (unless (return-p last)
-	    (assert (basic-combination-p last))
+	    (aver (basic-combination-p last))
 	    (link-blocks pred (component-tail result-component))))))
 
     (let ((lambdas (component-lambdas component)))
-      (assert (and (null (rest lambdas))
-		   (eq (first lambdas) lambda))))
+      (aver (and (null (rest lambdas))
+		 (eq (first lambdas) lambda))))
 
     ;; Switch the end of the code from the return block to the start of
     ;; the next chunk.