diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2019-03-20 22:01:00 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-21 12:46:01 +0000 |
| commit | 9767a37f9e8a743fa81629510346cb0a5a3a7900 (patch) | |
| tree | bc49e16925582e41ee51cacc35c4f7bcafd8860f /tools/kleaver | |
| parent | eee440835b857a7cb68b72f4af4d22eaf19e1d76 (diff) | |
| download | klee-9767a37f9e8a743fa81629510346cb0a5a3a7900.tar.gz | |
drop support for LLVM <= 3.7
Diffstat (limited to 'tools/kleaver')
| -rw-r--r-- | tools/kleaver/main.cpp | 14 |
1 files changed, 0 insertions, 14 deletions
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<MemoryBuffer> 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<MemoryBuffer> &MB = *MBResult; -#endif ExprBuilder *Builder = 0; switch (BuilderKind) { |