From 2e167256deb71f3b793978b6a0004aad7e23400f Mon Sep 17 00:00:00 2001 From: Julian Büning Date: Sat, 27 Oct 2018 15:28:45 +0200 Subject: run VerifierPass after optimization and instrumentation --- lib/Module/ModuleUtil.cpp | 8 -------- 1 file changed, 8 deletions(-) (limited to 'lib/Module/ModuleUtil.cpp') 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 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); -} -- cgit 1.4.1