[llvm-commits] [llvm] r110076 - /llvm/trunk/lib/VMCore/Verifier.cpp
Dan Gohman
gohman at apple.com
Mon Aug 2 16:09:14 PDT 2010
Author: djg
Date: Mon Aug 2 18:09:14 2010
New Revision: 110076
URL: http://llvm.org/viewvc/llvm-project?rev=110076&view=rev
Log:
Fix visitInvokeInst to call visitTerminatorInst, and remove
a redundant check from checkInstruction.
Modified:
llvm/trunk/lib/VMCore/Verifier.cpp
Modified: llvm/trunk/lib/VMCore/Verifier.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/VMCore/Verifier.cpp?rev=110076&r1=110075&r2=110076&view=diff
==============================================================================
--- llvm/trunk/lib/VMCore/Verifier.cpp (original)
+++ llvm/trunk/lib/VMCore/Verifier.cpp Mon Aug 2 18:09:14 2010
@@ -1213,6 +1213,7 @@
void Verifier::visitInvokeInst(InvokeInst &II) {
VerifyCallSite(&II);
+ visitTerminatorInst(II);
}
/// visitBinaryOperator - Check that both arguments to the binary operator are
@@ -1419,10 +1420,6 @@
"Only PHI nodes may reference their own value!", &I);
}
- // Verify that if this is a terminator that it is at the end of the block.
- if (isa<TerminatorInst>(I))
- Assert1(BB->getTerminator() == &I, "Terminator not at end of block!", &I);
-
// Check that void typed values don't have names
Assert1(!I.getType()->isVoidTy() || !I.hasName(),
"Instruction has a name, but provides a void value!", &I);
More information about the llvm-commits
mailing list