diff options
author | David Trabish <davidtr1037@gmail.com> | 2017-10-20 10:29:48 +0300 |
---|---|---|
committer | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-10-25 08:57:13 +0100 |
commit | 7c91518d724c990003bb1bb3d6f36c5a59ebb6d7 (patch) | |
tree | 9a3b30e781ac1a9228d10deedeb053eda1cde672 /lib | |
parent | 0f352e65b9dde33985242f313e117bfaa0284b62 (diff) | |
download | klee-7c91518d724c990003bb1bb3d6f36c5a59ebb6d7.tar.gz |
fixing huge allocation size constant to be unsigned
Diffstat (limited to 'lib')
-rw-r--r-- | lib/Core/Executor.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 6b352eba..0b7aa1a9 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -3114,7 +3114,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, W), size), + UltExpr::create(ConstantExpr::alloc(1U<<31, W), size), true); if (hugeSize.first) { klee_message("NOTE: found huge malloc, returning 0"); |