diff options
Diffstat (limited to 'tools/kleaver/main.cpp')
| -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) { |