diff options
| -rw-r--r-- | lib/Core/MemoryManager.cpp | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/lib/Core/MemoryManager.cpp b/lib/Core/MemoryManager.cpp index ffd08886..55dd20f2 100644 --- a/lib/Core/MemoryManager.cpp +++ b/lib/Core/MemoryManager.cpp @@ -243,9 +243,10 @@ MemoryManager::MemoryManager(ArrayCache *_arrayCache) start, size, DeterministicAllocationQuarantineSize); if (!factory.get()) { - klee_error( - "Deterministic allocator: Could not allocate mapping for %s: %s", - segment.c_str(), strerror(errno)); + klee_error("Deterministic allocator: Could not allocate mapping for %s " + "(start-address=0x%" PRIxPTR " size=%zu GiB): %s", + segment.c_str(), start, size / (1024 * 1024 * 1024), + strerror(errno)); } if (start && factory.get().getMapping().getBaseAddress() != reinterpret_cast<void *>(start)) { |