diff options
| -rw-r--r-- | lib/Core/Executor.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index a2ad843c..87e6bb29 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -2770,8 +2770,7 @@ void Executor::executeAlloc(ExecutionState &state, // malloc will fail for it, so lets fork and return 0. StatePair hugeSize = fork(*fixedSize.second, - UltExpr::create(ConstantExpr::alloc(1<<31, Expr::Int32), - size), + UltExpr::create(ConstantExpr::alloc(1<<31, W), size), true); if (hugeSize.first) { klee_message("NOTE: found huge malloc, returing 0"); |