about summary refs log tree commit diff homepage
path: root/lib/Core
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2023-06-09 21:30:22 +0100
committerMartinNowack <2443641+MartinNowack@users.noreply.github.com>2023-06-09 22:14:05 +0100
commitb926b3d49d7650ba76c81f4dfe0fd9aad44150d2 (patch)
tree0b153080fa079709a61617d6519b74d0dbe4f194 /lib/Core
parent6a0448e983a1f5565170092f9c56417192dce6f5 (diff)
downloadklee-b926b3d49d7650ba76c81f4dfe0fd9aad44150d2.tar.gz
Fixed a format specifier pointed to by a compiler warning.
Diffstat (limited to 'lib/Core')
-rw-r--r--lib/Core/MemoryManager.cpp4
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
+}