diff options
| author | Chris Lattner <sabre@nondot.org> | 2007-11-01 04:43:13 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2007-11-01 04:43:13 +0000 |
| commit | dff7a3e919d6d306d29e03657198179a86b6453d (patch) | |
| tree | 7cba08e34decf39642f17886f68fe77089c03b78 /llvm | |
| parent | 059a8df289ac9dc9a33f7417fa72426ca1878573 (diff) | |
| download | bcm5719-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')
| -rw-r--r-- | llvm/lib/VMCore/Verifier.cpp | 11 |
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); } |

