From 9767a37f9e8a743fa81629510346cb0a5a3a7900 Mon Sep 17 00:00:00 2001 From: Julian Büning Date: Wed, 20 Mar 2019 22:01:00 +0100 Subject: drop support for LLVM <= 3.7 --- tools/kleaver/main.cpp | 14 -------------- 1 file changed, 14 deletions(-) (limited to 'tools/kleaver') diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp index f5b5e13a..9033a2b4 100644 --- a/tools/kleaver/main.cpp +++ b/tools/kleaver/main.cpp @@ -37,11 +37,6 @@ #include "llvm/Support/Signals.h" -#if LLVM_VERSION_CODE < LLVM_VERSION(3, 5) -#include "llvm/ADT/OwningPtr.h" -#include "llvm/Support/system_error.h" -#endif - using namespace llvm; using namespace klee; using namespace klee::expr; @@ -409,14 +404,6 @@ int main(int argc, char **argv) { std::string ErrorStr; -#if LLVM_VERSION_CODE < LLVM_VERSION(3,5) - OwningPtr MB; - error_code ec=MemoryBuffer::getFileOrSTDIN(InputFile.c_str(), MB); - if (ec) { - llvm::errs() << argv[0] << ": error: " << ec.message() << "\n"; - return 1; - } -#else auto MBResult = MemoryBuffer::getFileOrSTDIN(InputFile.c_str()); if (!MBResult) { llvm::errs() << argv[0] << ": error: " << MBResult.getError().message() @@ -424,7 +411,6 @@ int main(int argc, char **argv) { return 1; } std::unique_ptr &MB = *MBResult; -#endif ExprBuilder *Builder = 0; switch (BuilderKind) { -- cgit 1.4.1