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 /lib/Core/StatsTracker.cpp | |
parent | eee440835b857a7cb68b72f4af4d22eaf19e1d76 (diff) | |
download | klee-9767a37f9e8a743fa81629510346cb0a5a3a7900.tar.gz |
drop support for LLVM <= 3.7
Diffstat (limited to 'lib/Core/StatsTracker.cpp')
-rw-r--r-- | lib/Core/StatsTracker.cpp | 23 |
1 files changed, 2 insertions, 21 deletions
diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp index c0e3264d..dac18370 100644 --- a/lib/Core/StatsTracker.cpp +++ b/lib/Core/StatsTracker.cpp @@ -27,6 +27,8 @@ #include "UserSearcher.h" #include "llvm/IR/BasicBlock.h" +#include "llvm/IR/CallSite.h" +#include "llvm/IR/CFG.h" #include "llvm/IR/Function.h" #include "llvm/IR/Instructions.h" #include "llvm/IR/IntrinsicInst.h" @@ -38,14 +40,6 @@ #include "llvm/Support/Path.h" #include "llvm/Support/FileSystem.h" -#if LLVM_VERSION_CODE < LLVM_VERSION(3, 5) -#include "llvm/Support/CallSite.h" -#include "llvm/Support/CFG.h" -#else -#include "llvm/IR/CallSite.h" -#include "llvm/IR/CFG.h" -#endif - #include <fstream> #include <unistd.h> @@ -207,17 +201,8 @@ StatsTracker::StatsTracker(Executor &_executor, std::string _objectFilename, if (!sys::path::is_absolute(objectFilename)) { SmallString<128> current(objectFilename); if(sys::fs::make_absolute(current)) { -#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 6) Twine current_twine(current.str()); // requires a twine for this if (!sys::fs::exists(current_twine)) { -#elif LLVM_VERSION_CODE >= LLVM_VERSION(3, 5) - bool exists = false; - if (!sys::fs::exists(current.str(), exists)) { -#else - bool exists = false; - error_code ec = sys::fs::exists(current.str(), exists); - if (ec == errc::success && exists) { -#endif objectFilename = current.c_str(); } } @@ -643,11 +628,7 @@ static std::vector<Instruction*> getSuccs(Instruction *i) { for (succ_iterator it = succ_begin(bb), ie = succ_end(bb); it != ie; ++it) res.push_back(&*(it->begin())); } else { -#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 8) res.push_back(&*(++(i->getIterator()))); -#else - res.push_back(&*(++BasicBlock::iterator(i))); -#endif } return res; |