Fix PR6211, the comparison was created with the wrong width. Patch by Stefan

Bucur!


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@95659 91177308-0d34-0410-b5e6-96231b3b80d8

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