X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fdebug-dump.lisp;h=434fefeb9965ccc3059c7b86773a969ac92151d6;hb=b19093fa94d6e1785abee99c35c9a610e8777671;hp=0a4ddd44eb19580c70119775942f01203f54fe7d;hpb=0aafa73007d42f2bc8e626f98a243019b7e63284;p=sbcl.git

diff --git a/src/compiler/debug-dump.lisp b/src/compiler/debug-dump.lisp
index 0a4ddd4..434fefe 100644
--- a/src/compiler/debug-dump.lisp
+++ b/src/compiler/debug-dump.lisp
@@ -244,7 +244,7 @@
 ;;; we need them or not.
 (defun debug-source-for-info (info)
   (declare (type source-info info))
-  (assert (not (source-info-current-file info)))
+  (aver (not (source-info-current-file info)))
   (mapcar #'(lambda (x)
 	      (let ((res (make-debug-source
 			  :from :file
@@ -252,7 +252,7 @@
 			  :compiled (source-info-start-time info)
 			  :source-root (file-info-source-root x)
 			  :start-positions
-			  (unless (eq *byte-compile* 't)
+			  (unless (eq *byte-compile* t)
 			    (coerce-to-smallest-eltype
 			     (file-info-positions x)))))
 		    (name (file-info-name x)))
@@ -346,7 +346,7 @@
 	(vector-push-extend id buffer)))
     (if tn
 	(vector-push-extend (tn-sc-offset tn) buffer)
-	(assert minimal))
+	(aver minimal))
     (when save-tn
       (vector-push-extend (tn-sc-offset save-tn) buffer)))
   (values))
@@ -415,8 +415,8 @@
   (let ((res (gethash var var-locs)))
     (cond (res)
 	  (t
-	   (assert (or (null (leaf-refs var))
-		       (not (tn-offset (leaf-info var)))))
+	   (aver (or (null (leaf-refs var))
+		     (not (tn-offset (leaf-info var)))))
 	   'deleted))))
 
 ;;;; arguments/returns
@@ -567,7 +567,7 @@
 		 minimal-debug-function-name-symbol)
 		(t
 		 minimal-debug-function-name-packaged))))
-    (assert (or (atom name) setf-p))
+    (aver (or (atom name) setf-p))
     (let ((options 0))
       (setf (ldb minimal-debug-function-name-style-byte options) name-rep)
       (setf (ldb minimal-debug-function-kind-byte options)