From df705a6d02039d048acfdf83ce0db07b74100b40 Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Mon, 12 May 2003 22:12:44 +0000
Subject: [PATCH] Add a disable-verify option

llvm-svn: 6155
---
 llvm/tools/analyze/analyze.cpp | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/llvm/tools/analyze/analyze.cpp b/llvm/tools/analyze/analyze.cpp
index 4491a299cf6b..be2adee68bb6 100644
--- a/llvm/tools/analyze/analyze.cpp
+++ b/llvm/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) {