X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fgeneric%2Fvm-ir2tran.lisp;h=3d98347881c29a0843453f6c1c5f14fcee2cc2f0;hb=0dcc957ae6bf24809fda82fd59c134e70058c42a;hp=247e09bbb8eed3e3de4eb778b2c829d99c45c405;hpb=cea4896b2482b7b2b429c1631d774b4cfbc0efba;p=sbcl.git

diff --git a/src/compiler/generic/vm-ir2tran.lisp b/src/compiler/generic/vm-ir2tran.lisp
index 247e09b..3d98347 100644
--- a/src/compiler/generic/vm-ir2tran.lisp
+++ b/src/compiler/generic/vm-ir2tran.lisp
@@ -46,7 +46,7 @@
 	(vop set-slot node block result
 	     (ecase kind
 	       (:arg
-		(assert args)
+		(aver args)
 		(continuation-tn node block (pop args)))
 	       (:unbound
 		(or unbound-marker-tn
@@ -59,7 +59,7 @@
 	       (:null
 		(emit-constant nil)))
 	     name slot lowtag #!+gengc nil))))
-  (assert (null args)))
+  (aver (null args)))
 
 (defun do-fixed-alloc (node block name words type lowtag result)
   #!-gengc
@@ -129,7 +129,7 @@
 		   (clambda
 		    (environment-closure (get-lambda-environment leaf)))
 		   (functional
-		    (assert (eq (functional-kind leaf) :top-level-xep))
+		    (aver (eq (functional-kind leaf) :top-level-xep))
 		    nil))))
     (if closure
 	(let ((this-env (node-environment node)))
@@ -180,7 +180,7 @@
       (global-var
        (ecase (global-var-kind leaf)
 	 ((:special :global)
-	  (assert (symbolp (leaf-name leaf)))
+	  (aver (symbolp (leaf-name leaf)))
 	  (vop set node block (emit-constant (leaf-name leaf)) val-tn
 	       (needs-remembering value))))))