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