diff options
| -rw-r--r-- | lib/Core/Executor.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index a8056b8b..5118fac2 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -1777,9 +1777,9 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) { kmodule->targetData->getTypeStoreSize(ai->getAllocatedType()); ref<Expr> size = Expr::createPointer(elementSize); if (ai->isArrayAllocation()) { - // XXX coerce? ref<Expr> count = eval(ki, 0, state).value; - size = MulExpr::create(count, size); + count = Expr::createCoerceToPointerType(count); + size = MulExpr::create(size, count); } bool isLocal = i->getOpcode()==Instruction::Alloca; executeAlloc(state, size, isLocal, ki); |