From 339b87f9da680e93e7e38b1522486953a3ff3a4f Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
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/MemoryManager.cpp')
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 <inttypes.h>
#include <sys/mman.h>
+
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