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

diff --git a/src/compiler/main.lisp b/src/compiler/main.lisp
index 1223388..1bec50e 100644
--- a/src/compiler/main.lisp
+++ b/src/compiler/main.lisp
@@ -526,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))