X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fcontrol.lisp;h=ce586956069ee7a5d181b8fb1bee6e907d681466;hb=4719b7d5d66c5930d3efd6a6d8e7572b16809f8d;hp=e2949d29f73d7f086a2a463dde9f3e98e93445ee;hpb=a530bbe337109d898d5b4a001fc8f1afa3b5dc39;p=sbcl.git diff --git a/src/compiler/control.lisp b/src/compiler/control.lisp index e2949d2..ce58695 100644 --- a/src/compiler/control.lisp +++ b/src/compiler/control.lisp @@ -18,9 +18,6 @@ (in-package "SB!C") -(file-comment - "$Header$") - ;;; Insert Block in the emission order after the block After. (defun add-to-emit-order (block after) (declare (type block-annotation block after)) @@ -76,7 +73,7 @@ (> (block-number pred) current-num)) (setq current pred current-num (block-number pred)) (return))))) - (assert (not (block-flag current))) + (aver (not (block-flag current))) current)) (t block)))) @@ -103,7 +100,7 @@ (unless (block-flag block) (let ((block (find-rotated-loop-head block))) (setf (block-flag block) t) - (assert (and (block-component block) (not (block-delete-p block)))) + (aver (and (block-component block) (not (block-delete-p block)))) (add-to-emit-order (or (block-info block) (setf (block-info block) (funcall block-info-constructor block)))