From 2833e66c38a951c6663bf8644c0942f339b622c4 Mon Sep 17 00:00:00 2001 From: Daniel Schemmel Date: Fri, 19 May 2023 22:31:53 +0000 Subject: Improve error message when KDAlloc fails to create a mapping --- lib/Core/MemoryManager.cpp | 7 ++++--- 1 file 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(start)) { -- cgit 1.4.1