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/Module/OptNone.cpp | |
| parent | eee440835b857a7cb68b72f4af4d22eaf19e1d76 (diff) | |
| download | klee-9767a37f9e8a743fa81629510346cb0a5a3a7900.tar.gz | |
drop support for LLVM <= 3.7
Diffstat (limited to 'lib/Module/OptNone.cpp')
| -rw-r--r-- | lib/Module/OptNone.cpp | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/lib/Module/OptNone.cpp b/lib/Module/OptNone.cpp index 08837488..285fac5c 100644 --- a/lib/Module/OptNone.cpp +++ b/lib/Module/OptNone.cpp @@ -27,7 +27,6 @@ bool OptNonePass::runOnModule(llvm::Module &M) { for (auto &F : M) { if (!F.hasName() || !F.getName().startswith("klee_")) continue; -#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 5) for (auto *U : F.users()) { // skip non-calls and non-invokes if (!llvm::isa<llvm::CallInst>(U) && !llvm::isa<llvm::InvokeInst>(U)) @@ -35,13 +34,6 @@ bool OptNonePass::runOnModule(llvm::Module &M) { auto *Inst = llvm::cast<llvm::Instruction>(U); CallingFunctions.insert(Inst->getParent()->getParent()); } -#else - for (auto i = F.use_begin(), e = F.use_end(); i != e; ++i) { - if (auto Inst = llvm::dyn_cast<llvm::Instruction>(*i)) { - CallingFunctions.insert(Inst->getParent()->getParent()); - } - } -#endif } bool changed = false; |