diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2023-05-19 22:31:53 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-05-26 21:01:54 +0100 |
| commit | 2833e66c38a951c6663bf8644c0942f339b622c4 (patch) | |
| tree | f14516a41a67844532101a07b8e38141497863dd /lib | |
| parent | d46bbdd19b807cff0b59dfbc0b26ebc0d27456f5 (diff) | |
| download | klee-2833e66c38a951c6663bf8644c0942f339b622c4.tar.gz | |
Improve error message when KDAlloc fails to create a mapping
Diffstat (limited to 'lib')
| -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)) { |