From 993c4d6be0bcc826ccc1a735a09b875d8784ad7f Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Wed, 28 Nov 2012 18:08:52 +0000 Subject: Only emitting a warning, instead of failing on large mallocs. Addresses the issue raised by Bowen Zhou at http://keeda.stanford.edu/pipermail/klee-dev/2012-November/000972.html. Fixed test case that depended on the old behavior. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@168797 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Core/MemoryManager.cpp | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'lib/Core') diff --git a/lib/Core/MemoryManager.cpp b/lib/Core/MemoryManager.cpp index 06c234a2..a1198007 100644 --- a/lib/Core/MemoryManager.cpp +++ b/lib/Core/MemoryManager.cpp @@ -36,10 +36,9 @@ MemoryManager::~MemoryManager() { MemoryObject *MemoryManager::allocate(uint64_t size, bool isLocal, bool isGlobal, const llvm::Value *allocSite) { - if (size>10*1024*1024) { - klee_warning_once(0, "failing large alloc: %u bytes", (unsigned) size); - return 0; - } + if (size>10*1024*1024) + klee_warning_once(0, "Large alloc: %u bytes. KLEE may run out of memory.", (unsigned) size); + uint64_t address = (uint64_t) (unsigned long) malloc((unsigned) size); if (!address) return 0; -- cgit 1.4.1