From: Chris Lattner <sabre@nondot.org>
Date: Fri, 30 Aug 2002 22:54:37 +0000 (+0000)
Subject:   - 'analyze' and 'as' now explicitly verify input because AsmParser doesn't.
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=cd7fbf2d0ffda381bf8024cd485a67b8054f6a54;p=oota-llvm.git

  - 'analyze' and 'as' now explicitly verify input because AsmParser doesn't.


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

diff --git a/tools/analyze/analyze.cpp b/tools/analyze/analyze.cpp
index a40b8b8d1ff..eb78d915b44 100644
--- a/tools/analyze/analyze.cpp
+++ b/tools/analyze/analyze.cpp
@@ -14,6 +14,7 @@
 #include "llvm/PassManager.h"
 #include "llvm/Bytecode/Reader.h"
 #include "llvm/Assembly/Parser.h"
+#include "llvm/Analysis/Verifier.h"
 #include "llvm/Support/PassNameParser.h"
 #include <algorithm>
 
@@ -114,6 +115,9 @@ int main(int argc, char **argv) {
   //
   PassManager Passes;
 
+  // Make sure the input LLVM is well formed.
+  Passes.add(createVerifierPass());
+
   // Create a new optimization pass for each one specified on the command line
   for (unsigned i = 0; i < AnalysesList.size(); ++i) {
     const PassInfo *Analysis = AnalysesList[i];