From: Chris Lattner <sabre@nondot.org>
Date: Mon, 12 May 2003 22:12:44 +0000 (+0000)
Subject: Add a disable-verify option
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=59039a926de3ccc77745427e1bc50547fb304263;p=llvm

Add a disable-verify option


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

diff --git a/tools/analyze/analyze.cpp b/tools/analyze/analyze.cpp
index 4491a299cf6..be2adee68bb 100644
--- a/tools/analyze/analyze.cpp
+++ b/tools/analyze/analyze.cpp
@@ -94,6 +94,9 @@ namespace {
   cl::alias    QuietA("quiet", cl::desc("Alias for -q"),
                       cl::aliasopt(Quiet));
 
+  cl::opt<bool> NoVerify("disable-verify", cl::Hidden,
+                         cl::desc("Do not verify input module"));
+
   // The AnalysesList is automatically populated with registered Passes by the
   // PassNameParser.
   //
@@ -130,7 +133,8 @@ int main(int argc, char **argv) {
   Passes.add(new TargetData("analyze", CurMod));
 
   // Make sure the input LLVM is well formed.
-  Passes.add(createVerifierPass());
+  if (!NoVerify)
+    Passes.add(createVerifierPass());
 
   // Create a new optimization pass for each one specified on the command line
   for (unsigned i = 0; i < AnalysesList.size(); ++i) {