From d0561900f3a1a4685628fbc3761ea4bfcccb0530 Mon Sep 17 00:00:00 2001 From: Duncan Sands Date: Thu, 1 Nov 2007 10:50:26 +0000 Subject: [PATCH] Don't barf on empty basic blocks. Do not rely on assert doing something - this needs to work for release builds too. I chose to just abort rather than following the fancy logic of abortIfBroken, because (1) it is a pain to do otherwise, and (2) nothing is going to work if the module is this broken. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@43611 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/VMCore/Verifier.cpp | 30 +++++++++++++++++++++--------- 1 file changed, 21 insertions(+), 9 deletions(-) diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp index 29d19c3ed4c..dea94088fa2 100644 --- a/lib/VMCore/Verifier.cpp +++ b/lib/VMCore/Verifier.cpp @@ -69,22 +69,34 @@ using namespace llvm; namespace { // Anonymous namespace for class struct VISIBILITY_HIDDEN PreVerifier : public FunctionPass { static char ID; // Pass ID, replacement for typeid - + PreVerifier() : FunctionPass((intptr_t)&ID) { } - + + // Check that the prerequisites for successful DominatorTree construction + // are satisfied. bool runOnFunction(Function &F) { - for (Function::iterator I = F.begin(), E = F.end(); I != E; ++I) - assert(I->back().isTerminator() - && "Block does not end with a terminator?"); - - return false; + bool Broken = false; + + for (Function::iterator I = F.begin(), E = F.end(); I != E; ++I) { + if (I->empty() || !I->back().isTerminator()) { + cerr << "Basic Block does not have terminator!\n"; + WriteAsOperand(*cerr, I, true); + cerr << "\n"; + Broken = true; + } + } + + if (Broken) + abort(); + + return false; } }; - + char PreVerifier::ID = 0; RegisterPass PreVer("preverify", "Preliminary module verification"); const PassInfo *PreVerifyID = PreVer.getPassInfo(); - + struct VISIBILITY_HIDDEN Verifier : public FunctionPass, InstVisitor { static char ID; // Pass ID, replacement for typeid