diff options
| -rw-r--r-- | lib/Core/MemoryManager.cpp | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/lib/Core/MemoryManager.cpp b/lib/Core/MemoryManager.cpp index 0caa504d..0986c122 100644 --- a/lib/Core/MemoryManager.cpp +++ b/lib/Core/MemoryManager.cpp @@ -26,18 +26,6 @@ using namespace klee; /***/ MemoryManager::MemoryManager(size_t pointerBitWidth) : pointerBitWidth(pointerBitWidth) { - if (pointerBitWidth < 64) { - // FIXME: KLEE should implement it's own memory manager for - // the program we are executing and not invoke malloc so - // we have finer control over the addresses we use. - // HACK: - // Try make sure malloc() gives us back - // addresses that fit in a 32-bit integer when running - // 32-bit code. - // This works by preventing malloc() from using mmap() - // so it uses sbrk() instead... gross - mallopt(M_MMAP_MAX, 0); - } } MemoryManager::~MemoryManager() { |