X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fgeneric%2Fvm-ir2tran.lisp;h=3d98347881c29a0843453f6c1c5f14fcee2cc2f0;hb=a8fa26a6e9804d3548f5bca9361a91345a689099;hp=34827bc811d81339b022423b87515b64cc8356ce;hpb=a530bbe337109d898d5b4a001fc8f1afa3b5dc39;p=sbcl.git

diff --git a/src/compiler/generic/vm-ir2tran.lisp b/src/compiler/generic/vm-ir2tran.lisp
index 34827bc..3d98347 100644
--- a/src/compiler/generic/vm-ir2tran.lisp
+++ b/src/compiler/generic/vm-ir2tran.lisp
@@ -9,9 +9,6 @@
 
 (in-package "SB!C")
 
-(file-comment
-  "$Header$")
-
 (defoptimizer ir2-convert-reffer ((object) node block name offset lowtag)
   (let* ((cont (node-cont node))
 	 (locs (continuation-result-tns cont
@@ -49,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
@@ -62,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
@@ -132,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)))
@@ -183,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))))))