From 171810d97c206c090ff588729f1ee16f9d47cbfb Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sun, 14 Jun 2009 06:16:49 +0000 Subject: Change AddressSpace::resolveOne to take a ConstantExpr directly (and to allow 64-bit addresses). git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73327 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Core/Executor.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/Core/Executor.cpp') diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 5b22b782..2be099bd 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -2838,7 +2838,7 @@ void Executor::executeMemoryOperation(ExecutionState &state, solver->setTimeout(stpTimeout); if (!state.addressSpace.resolveOne(state, solver, address, op, success)) { address = toConstant(state, address, "resolveOne failure"); - success = state.addressSpace.resolveOne(cast(address)->getConstantValue(), op); + success = state.addressSpace.resolveOne(cast(address), op); } solver->setTimeout(0); -- cgit 1.4.1