- '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 a40b8b8..eb78d91 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 @@
//
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];