diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-06-09 21:30:22 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2023-06-09 22:14:05 +0100 |
| commit | b926b3d49d7650ba76c81f4dfe0fd9aad44150d2 (patch) | |
| tree | 0b153080fa079709a61617d6519b74d0dbe4f194 /lib/Core | |
| parent | 6a0448e983a1f5565170092f9c56417192dce6f5 (diff) | |
| download | klee-b926b3d49d7650ba76c81f4dfe0fd9aad44150d2.tar.gz | |
Fixed a format specifier pointed to by a compiler warning.
Diffstat (limited to 'lib/Core')
| -rw-r--r-- | lib/Core/MemoryManager.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Core/MemoryManager.cpp b/lib/Core/MemoryManager.cpp index 55dd20f2..bdb89bb5 100644 --- a/lib/Core/MemoryManager.cpp +++ b/lib/Core/MemoryManager.cpp @@ -201,7 +201,7 @@ MemoryManager::MemoryManager(ArrayCache *_arrayCache) #if LLVM_VERSION_CODE >= LLVM_VERSION(10, 0) if (start1 != 0 && !llvm::isAligned(pageAlignment, start1)) { klee_error("Deterministic allocator: Requested start address for %s " - "is not page aligned (page size: %zu B)", + "is not page aligned (page size: %" PRIu64 " B)", segment1.c_str(), pageAlignment.value()); } #else @@ -392,4 +392,4 @@ bool MemoryManager::markMappingsAsUnneeded() { size_t MemoryManager::getUsedDeterministicSize() { // TODO: implement return 0; -} \ No newline at end of file +} |