From cd7fbf2d0ffda381bf8024cd485a67b8054f6a54 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Fri, 30 Aug 2002 22:54:37 +0000 Subject: [PATCH] - '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 --- tools/analyze/analyze.cpp | 4 ++++ 1 file changed, 4 insertions(+) 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 @@ -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]; -- 2.34.1