aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDan Gohman <gohman@apple.com>2010-08-02 23:09:14 +0000
committerDan Gohman <gohman@apple.com>2010-08-02 23:09:14 +0000
commitdacfc5d37f649fb15aaa339eaf1b010c4f44c803 (patch)
treebcfba054fbe631fe20f4cc38dee8d92972282152
parent376809140794cf430c23f1054b9614073eec10b4 (diff)
downloadexternal_llvm-dacfc5d37f649fb15aaa339eaf1b010c4f44c803.zip
external_llvm-dacfc5d37f649fb15aaa339eaf1b010c4f44c803.tar.gz
external_llvm-dacfc5d37f649fb15aaa339eaf1b010c4f44c803.tar.bz2
Fix visitInvokeInst to call visitTerminatorInst, and remove
a redundant check from checkInstruction. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@110076 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--lib/VMCore/Verifier.cpp5
1 files changed, 1 insertions, 4 deletions
diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index ad10459..4de1282 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/lib/VMCore/Verifier.cpp
@@ -1213,6 +1213,7 @@ void Verifier::visitCallInst(CallInst &CI) {
void Verifier::visitInvokeInst(InvokeInst &II) {
VerifyCallSite(&II);
+ visitTerminatorInst(II);
}
/// visitBinaryOperator - Check that both arguments to the binary operator are
@@ -1419,10 +1420,6 @@ void Verifier::visitInstruction(Instruction &I) {
"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);