From 339b87f9da680e93e7e38b1522486953a3ff3a4f Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Mon, 19 Dec 2016 12:08:36 +0000 Subject: Fix -Wformat warnings emitted by Apple Clang (800.0.42.1). --- lib/Core/MemoryManager.cpp | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) (limited to 'lib/Core') diff --git a/lib/Core/MemoryManager.cpp b/lib/Core/MemoryManager.cpp index f9f4b105..24e2ed97 100644 --- a/lib/Core/MemoryManager.cpp +++ b/lib/Core/MemoryManager.cpp @@ -17,7 +17,9 @@ #include "llvm/Support/CommandLine.h" #include "llvm/Support/MathExtras.h" +#include #include + using namespace klee; namespace { @@ -94,7 +96,8 @@ MemoryObject *MemoryManager::allocate(uint64_t size, bool isLocal, const llvm::Value *allocSite, size_t alignment) { if (size > 10 * 1024 * 1024) - klee_warning_once(0, "Large alloc: %lu bytes. KLEE may run out of memory.", + klee_warning_once(0, "Large alloc: %" PRIu64 + " bytes. KLEE may run out of memory.", size); // Return NULL if size is zero, this is equal to error during allocation @@ -118,10 +121,9 @@ MemoryObject *MemoryManager::allocate(uint64_t size, bool isLocal, if ((char *)address + alloc_size < deterministicSpace + spaceSize) { nextFreeSlot = (char *)address + alloc_size + RedZoneSpace; } else { - klee_warning_once( - 0, - "Couldn't allocate %lu bytes. Not enough deterministic space left.", - size); + klee_warning_once(0, "Couldn't allocate %" PRIu64 + " bytes. Not enough deterministic space left.", + size); address = 0; } } else { -- cgit 1.4.1