From 7c91518d724c990003bb1bb3d6f36c5a59ebb6d7 Mon Sep 17 00:00:00 2001
From: David Trabish <davidtr1037@gmail.com>
Date: Fri, 20 Oct 2017 10:29:48 +0300
Subject: fixing huge allocation size constant to be unsigned

---
 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 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");
-- 
cgit 1.4.1