diff options
| -rw-r--r-- | lib/Core/Executor.cpp | 2 | ||||
| -rw-r--r-- | lib/Core/StatsTracker.cpp | 6 |
2 files changed, 7 insertions, 1 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 08cf3f74..e13cebb9 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -1427,6 +1427,7 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) { } break; } +#if LLVM_VERSION_CODE < LLVM_VERSION(3, 1) case Instruction::Unwind: { for (;;) { KInstruction *kcaller = state.stack.back().caller; @@ -1448,6 +1449,7 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) { } break; } +#endif case Instruction::Br: { BranchInst *bi = cast<BranchInst>(i); if (bi->isUnconditional()) { diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp index f3eca268..e2fa0d35 100644 --- a/lib/Core/StatsTracker.cpp +++ b/lib/Core/StatsTracker.cpp @@ -669,7 +669,11 @@ void StatsTracker::computeReachableUncovered() { unsigned id = infos.getInfo(it).id; sm.setIndexedValue(stats::minDistToReturn, id, - isa<ReturnInst>(it) || isa<UnwindInst>(it)); + isa<ReturnInst>(it) +#if LLVM_VERSION_CODE < LLVM_VERSION(3, 1) + || isa<UnwindInst>(it) +#endif + ); } } } |