- '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

@@ -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];