diff options
| author | Richard Trembecký <richardt@centrum.sk> | 2016-05-04 15:21:45 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-07-12 23:25:49 +0100 |
| commit | 2868f6a64cae3a11db3282247253a7a9556ee5a8 (patch) | |
| tree | 35f606883cecf452e818fcc960ed78f451fc8b0f /lib/Core/StatsTracker.cpp | |
| parent | 9968c00bdd7626249b6bd3f4df3f00da7406b0c1 (diff) | |
| download | klee-2868f6a64cae3a11db3282247253a7a9556ee5a8.tar.gz | |
llvm38: no more implicit iterators
LLVM commit eac309550f25 removed implicit iterator conversions. So we have to get the iterators explicitly now. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'lib/Core/StatsTracker.cpp')
| -rw-r--r-- | lib/Core/StatsTracker.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp index 725cfd56..97e7fccb 100644 --- a/lib/Core/StatsTracker.cpp +++ b/lib/Core/StatsTracker.cpp @@ -636,7 +636,11 @@ 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; |