X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fenvanal.lisp;h=11b86c179f8aa023bba0b92cce47c777d5a9afa6;hb=0dcc957ae6bf24809fda82fd59c134e70058c42a;hp=efd4192c5560a6a24bbff1f933760fe4d0406fe7;hpb=a530bbe337109d898d5b4a001fc8f1afa3b5dc39;p=sbcl.git

diff --git a/src/compiler/envanal.lisp b/src/compiler/envanal.lisp
index efd4192..11b86c1 100644
--- a/src/compiler/envanal.lisp
+++ b/src/compiler/envanal.lisp
@@ -15,9 +15,6 @@
 
 (in-package "SB!C")
 
-(file-comment
-  "$Header$")
-
 ;;; Do environment analysis on the code in Component. This involves
 ;;; various things:
 ;;;  1. Make an Environment structure for each non-let lambda, assigning 
@@ -33,9 +30,9 @@
 ;;;     that the XEP doesn't.
 (defun environment-analyze (component)
   (declare (type component component))
-  (assert (every #'(lambda (x)
-		     (eq (functional-kind x) :deleted))
-		 (component-new-functions component)))
+  (aver (every (lambda (x)
+		 (eq (functional-kind x) :deleted))
+	       (component-new-functions component)))
   (setf (component-new-functions component) ())
   (dolist (fun (component-lambdas component))
     (reinit-lambda-environment fun))
@@ -53,7 +50,7 @@
       (let ((kind (functional-kind fun)))
 	(unless (or (eq kind :top-level)
 		    (and *byte-compiling* (eq kind :optional)))
-	  (assert (member kind '(:optional :cleanup :escape)))
+	  (aver (member kind '(:optional :cleanup :escape)))
 	  (setf (functional-kind fun) nil)
 	  (delete-functional fun)))))
 
@@ -222,13 +219,13 @@
 
     (if (find-nlx-info entry cont)
 	(let ((block (node-block exit)))
-	  (assert (= (length (block-succ block)) 1))
+	  (aver (= (length (block-succ block)) 1))
 	  (unlink-blocks block (first (block-succ block)))
 	  (link-blocks block (component-tail (block-component block))))
 	(insert-nlx-entry-stub exit env))
 
     (let ((info (find-nlx-info entry cont)))
-      (assert info)
+      (aver info)
       (close-over info (node-environment exit) env)
       (when (eq (functional-kind exit-fun) :escape)
 	(mapc #'(lambda (x)
@@ -252,8 +249,7 @@
       (dolist (exit (entry-exits entry))
 	(let ((target-env (node-environment entry)))
 	  (if (eq (node-environment exit) target-env)
-	      (unless *converting-for-interpreter*
-		(maybe-delete-exit exit))
+	      (maybe-delete-exit exit)
 	      (note-non-local-exit target-env exit))))))
 
   (values))
@@ -298,7 +294,7 @@
 	       (code `(%lexical-exit-breakup ',nlx)))))))
 
       (when (code)
-	(assert (not (node-tail-p (block-last block1))))
+	(aver (not (node-tail-p (block-last block1))))
 	(insert-cleanup-code block1 block2
 			     (block-last block1)
 			     `(progn ,@(code)))