diff options
| -rw-r--r-- | tools/analyze/analyze.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
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 @@ 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]; |