From 05a0962a50fede85aae254667d5dac1586744eb3 Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin@se.inf.tu-dresden.de>
Date: Tue, 24 May 2016 15:13:31 +0200
Subject: Clang-formated MemoryManager
---
lib/Core/MemoryManager.h | 70 ++++++++++++++++++++++++------------------------
1 file changed, 35 insertions(+), 35 deletions(-)
(limited to 'lib/Core/MemoryManager.h')
diff --git a/lib/Core/MemoryManager.h b/lib/Core/MemoryManager.h
index 5c5d21ca..fc77b476 100644
--- a/lib/Core/MemoryManager.h
+++ b/lib/Core/MemoryManager.h
@@ -14,44 +14,44 @@
#include <stdint.h>
namespace llvm {
- class Value;
+class Value;
}
namespace klee {
- class MemoryObject;
- class ArrayCache;
-
- class MemoryManager {
- private:
- typedef std::set<MemoryObject*> objects_ty;
- objects_ty objects;
- ArrayCache *const arrayCache;
-
- char *deterministicSpace;
- char *nextFreeSlot;
- size_t spaceSize;
-
- public:
- MemoryManager(ArrayCache *arrayCache);
- ~MemoryManager();
-
- /**
- * Returns memory object which contains a handle to real virtual process
- * memory.
- */
- MemoryObject *allocate(uint64_t size, bool isLocal, bool isGlobal,
- const llvm::Value *allocSite, size_t alignment = 8);
- MemoryObject *allocateFixed(uint64_t address, uint64_t size,
- const llvm::Value *allocSite);
- void deallocate(const MemoryObject *mo);
- void markFreed(MemoryObject *mo);
- ArrayCache *getArrayCache() const { return arrayCache; }
-
- /*
- * Returns the size used by deterministic allocation in bytes
- */
- size_t getUsedDeterministicSize();
- };
+class MemoryObject;
+class ArrayCache;
+
+class MemoryManager {
+private:
+ typedef std::set<MemoryObject *> objects_ty;
+ objects_ty objects;
+ ArrayCache *const arrayCache;
+
+ char *deterministicSpace;
+ char *nextFreeSlot;
+ size_t spaceSize;
+
+public:
+ MemoryManager(ArrayCache *arrayCache);
+ ~MemoryManager();
+
+ /**
+ * Returns memory object which contains a handle to real virtual process
+ * memory.
+ */
+ MemoryObject *allocate(uint64_t size, bool isLocal, bool isGlobal,
+ const llvm::Value *allocSite, size_t alignment = 8);
+ MemoryObject *allocateFixed(uint64_t address, uint64_t size,
+ const llvm::Value *allocSite);
+ void deallocate(const MemoryObject *mo);
+ void markFreed(MemoryObject *mo);
+ ArrayCache *getArrayCache() const { return arrayCache; }
+
+ /*
+ * Returns the size used by deterministic allocation in bytes
+ */
+ size_t getUsedDeterministicSize();
+};
} // End klee namespace
--
cgit 1.4.1