X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fmain.lisp;h=1bec50eb823d05056fbe56290abe83c7ba1647fe;hb=9c510b74eca61bbcc2014dc2b1d02049dff50508;hp=945253239e82f7bf9720d038ee402207d38dfcef;hpb=c017b878e30a0bc9a175d3f5a1a4d3537804160c;p=sbcl.git

diff --git a/src/compiler/main.lisp b/src/compiler/main.lisp
index 9452532..1bec50e 100644
--- a/src/compiler/main.lisp
+++ b/src/compiler/main.lisp
@@ -15,7 +15,6 @@
 
 ;;; FIXME: Doesn't this belong somewhere else, like early-c.lisp?
 (declaim (special *constants* *free-vars* *component-being-compiled*
-                  *code-vector* *next-location* *result-fixups*
                   *free-funs* *source-paths*
                   *continuation-number* *continuation-numbers*
                   *number-continuations* *tn-id* *tn-ids* *id-tns*
@@ -527,6 +526,13 @@ Examples:
         (return))
       (incf loop-count)))
 
+  (when *check-consistency*
+    (do-blocks-backwards (block component)
+      (awhen (flush-dead-code block)
+        (let ((*compiler-error-context* it))
+          (compiler-warn "dead code detected at the end of ~S"
+                         'ir1-phases)))))
+
   (ir1-finalize component)
   (values))