about summary refs log tree commit diff homepage
path: root/lib/Core
diff options
context:
space:
mode:
authorStepan Dyatkovskiy <stpworld@narod.ru>2012-03-11 06:10:03 +0000
committerStepan Dyatkovskiy <stpworld@narod.ru>2012-03-11 06:10:03 +0000
commite3aaf467d0ce6309fcaed86f6e49ed2920e9e0c5 (patch)
tree536d7ffdabda9905a2b5e7cc47a367e6878a10c3 /lib/Core
parent4a6357101c5d7ea3511de73e4aac374c695f82e1 (diff)
downloadklee-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.cpp2
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) {