From e3aaf467d0ce6309fcaed86f6e49ed2920e9e0c5 Mon Sep 17 00:00:00 2001 From: Stepan Dyatkovskiy Date: Sun, 11 Mar 2012 06:10:03 +0000 Subject: 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 --- lib/Core/Executor.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/Core') 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 > targets; ref 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