diff options
author | Stepan Dyatkovskiy <stpworld@narod.ru> | 2012-03-11 06:10:03 +0000 |
---|---|---|
committer | Stepan Dyatkovskiy <stpworld@narod.ru> | 2012-03-11 06:10:03 +0000 |
commit | e3aaf467d0ce6309fcaed86f6e49ed2920e9e0c5 (patch) | |
tree | 536d7ffdabda9905a2b5e7cc47a367e6878a10c3 /lib/Core | |
parent | 4a6357101c5d7ea3511de73e4aac374c695f82e1 (diff) | |
download | klee-e3aaf467d0ce6309fcaed86f6e49ed2920e9e0c5.tar.gz |
llvm::SwitchInst
Renamed methods caseBegin, caseEnd and caseDefault with case_begin, case_end, and case_default. Added some notes relative to case iterators. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@152534 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Core')
-rw-r--r-- | lib/Core/Executor.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 96c99ee5..d4009dd2 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -1517,7 +1517,7 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) { std::map<BasicBlock*, ref<Expr> > targets; ref<Expr> isDefault = ConstantExpr::alloc(1, Expr::Bool); #if LLVM_VERSION_CODE >= LLVM_VERSION(3, 1) - for (SwitchInst::CaseIt i = si->caseBegin(), e = si->caseEnd(); + for (SwitchInst::CaseIt i = si->case_begin(), e = si->case_end(); i != e; ++i) { #else for (unsigned i=1, cases = si->getNumCases(); i<cases; ++i) { |