summaryrefslogtreecommitdiffstats
path: root/llvm/lib/VMCore/Verifier.cpp
diff options
context:
space:
mode:
authorChris Lattner <sabre@nondot.org>2007-11-01 04:43:13 +0000
committerChris Lattner <sabre@nondot.org>2007-11-01 04:43:13 +0000
commitdff7a3e919d6d306d29e03657198179a86b6453d (patch)
tree7cba08e34decf39642f17886f68fe77089c03b78 /llvm/lib/VMCore/Verifier.cpp
parent059a8df289ac9dc9a33f7417fa72426ca1878573 (diff)
downloadbcm5719-llvm-dff7a3e919d6d306d29e03657198179a86b6453d.tar.gz
bcm5719-llvm-dff7a3e919d6d306d29e03657198179a86b6453d.zip
remove verifier command line option: this should be part of the API, not
a command line optn. llvm-svn: 43603
Diffstat (limited to 'llvm/lib/VMCore/Verifier.cpp')
-rw-r--r--llvm/lib/VMCore/Verifier.cpp11
1 files changed, 0 insertions, 11 deletions
diff --git a/llvm/lib/VMCore/Verifier.cpp b/llvm/lib/VMCore/Verifier.cpp
index 72ceb60abe3..29d19c3ed4c 100644
--- a/llvm/lib/VMCore/Verifier.cpp
+++ b/llvm/lib/VMCore/Verifier.cpp
@@ -60,7 +60,6 @@
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/ADT/STLExtras.h"
-#include "llvm/Support/CommandLine.h"
#include "llvm/Support/Compiler.h"
#include <algorithm>
#include <sstream>
@@ -68,10 +67,6 @@
using namespace llvm;
namespace { // Anonymous namespace for class
- cl::opt<bool>
- Pedantic("verify-pedantic",
- cl::desc("Reject code with undefined behaviour"));
-
struct VISIBILITY_HIDDEN PreVerifier : public FunctionPass {
static char ID; // Pass ID, replacement for typeid
@@ -830,12 +825,6 @@ void Verifier::visitCallInst(CallInst &CI) {
CI.getOperand(i+1), FTy->getParamType(i), &CI);
if (Function *F = CI.getCalledFunction()) {
- if (Pedantic) {
- // Verify that calling convention of Function and CallInst match
- Assert1(F->getCallingConv() == CI.getCallingConv(),
- "Call uses different calling convention than function", &CI);
- }
-
if (Intrinsic::ID ID = (Intrinsic::ID)F->getIntrinsicID())
visitIntrinsicFunctionCall(ID, CI);
}
OpenPOWER on IntegriCloud