about summary refs log tree commit diff homepage
path: root/lib/Core
diff options
context:
space:
mode:
authorDaniel Schemmel <daniel@schemmel.net>2023-05-19 22:31:53 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2023-05-26 21:01:54 +0100
commit2833e66c38a951c6663bf8644c0942f339b622c4 (patch)
treef14516a41a67844532101a07b8e38141497863dd /lib/Core
parentd46bbdd19b807cff0b59dfbc0b26ebc0d27456f5 (diff)
downloadklee-2833e66c38a951c6663bf8644c0942f339b622c4.tar.gz
Improve error message when KDAlloc fails to create a mapping
Diffstat (limited to 'lib/Core')
-rw-r--r--lib/Core/MemoryManager.cpp7
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)) {