From: Chris Lattner <sabre@nondot.org>
Date: Thu, 1 Nov 2007 04:43:13 +0000 (+0000)
Subject: remove verifier command line option: this should be part of the API, not
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=b5c91641b554c43b859e1b75679797c5356045b6;p=oota-llvm.git

remove verifier command line option: this should be part of the API, not
a command line optn.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@43603 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index 72ceb60abe3..29d19c3ed4c 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/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);
   }