From: Chris Lattner <sabre@nondot.org>
Date: Fri, 9 Jul 2004 16:44:37 +0000 (+0000)
Subject: Add checks to ensure that there are no unreachable blocks in the function
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=9fb6cf1d82617994cd6dad33ecd45c1e913534aa;p=oota-llvm.git

Add checks to ensure that there are no unreachable blocks in the function


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14725 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/CodeGen/LiveVariables.cpp b/lib/CodeGen/LiveVariables.cpp
index cc924c3cc44..d26848cb1c6 100644
--- a/lib/CodeGen/LiveVariables.cpp
+++ b/lib/CodeGen/LiveVariables.cpp
@@ -291,6 +291,14 @@ bool LiveVariables::runOnMachineFunction(MachineFunction &MF) {
                                i + MRegisterInfo::FirstVirtualRegister));
     }
 
+  // Check to make sure there are no unreachable blocks in the MC CFG for the
+  // function.  If so, it is due to a bug in the instruction selector or some
+  // other part of the code generator if this happens.
+#ifndef NDEBUG
+  for(MachineFunction::iterator i = MF.begin(), e = MF.end(); i != e; ++i) 
+    assert(Visited.count(&*i) != 0 && "unreachable basic block found");
+#endif
+
   return false;
 }