From 906be24b79ec5b97d8fb4e8017659af480bd8d04 Mon Sep 17 00:00:00 2001 From: Stepan Dyatkovskiy Date: Tue, 13 Mar 2012 12:51:42 +0000 Subject: Compatability fix for previous revision. By my mistake one string went out of #if scobes. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@152625 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Core/Executor.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'lib') diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index d4009dd2..462db18b 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -1519,10 +1519,11 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) { #if LLVM_VERSION_CODE >= LLVM_VERSION(3, 1) for (SwitchInst::CaseIt i = si->case_begin(), e = si->case_end(); i != e; ++i) { + ref value = evalConstant(i.getCaseValue()); #else for (unsigned i=1, cases = si->getNumCases(); i value = evalConstant(si->getCaseValue(i)); #endif - ref value = evalConstant(i.getCaseValue()); ref match = EqExpr::create(cond, value); isDefault = AndExpr::create(isDefault, Expr::createIsZero(match)); bool result; -- cgit 1.4.1