diff options
Diffstat (limited to 'lib/Module/ModuleUtil.cpp')
-rw-r--r-- | lib/Module/ModuleUtil.cpp | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/lib/Module/ModuleUtil.cpp b/lib/Module/ModuleUtil.cpp index 399e5577..5c9aad1a 100644 --- a/lib/Module/ModuleUtil.cpp +++ b/lib/Module/ModuleUtil.cpp @@ -33,12 +33,10 @@ #include "llvm/Support/SourceMgr.h" #if LLVM_VERSION_CODE < LLVM_VERSION(3, 5) -#include "llvm/Analysis/Verifier.h" #include "llvm/Assembly/AssemblyAnnotationWriter.h" #include "llvm/Linker.h" #else #include "llvm/IR/AssemblyAnnotationWriter.h" -#include "llvm/IR/Verifier.h" #include "llvm/Linker/Linker.h" #endif @@ -599,9 +597,3 @@ std::unique_ptr<llvm::Module> module(ParseIR(Buffer.take(), Err, context)); modules.push_back(std::move(module)); return true; } - -void klee::checkModule(llvm::Module *m) { - LegacyLLVMPassManagerTy pm; - pm.add(createVerifierPass()); - pm.run(*m); -} |