about summary refs log tree commit diff homepage
path: root/lib/Core/MemoryManager.h
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2023-05-16 15:23:11 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2023-05-26 21:01:54 +0100
commit7667c5c71748f319f2b8b2e7fb0cbc884bde04d4 (patch)
tree4a9a6ebe782689b7fb8842fd9c68284fa7546a66 /lib/Core/MemoryManager.h
parent8500a8190fe61dd9240d91baf849cba0cc859b82 (diff)
downloadklee-7667c5c71748f319f2b8b2e7fb0cbc884bde04d4.tar.gz
Use unique_ptr for MemoryManager and avoid re-creating it in the first place
No need to re-create and re-alloc all the memory again after execution.
Diffstat (limited to 'lib/Core/MemoryManager.h')
-rw-r--r--lib/Core/MemoryManager.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/MemoryManager.h b/lib/Core/MemoryManager.h
index 71a70183..c8ef8016 100644
--- a/lib/Core/MemoryManager.h
+++ b/lib/Core/MemoryManager.h
@@ -38,7 +38,7 @@ private:
   kdalloc::Allocator constantsAllocator;
 
 public:
-  MemoryManager(ArrayCache *arrayCache);
+  explicit MemoryManager(ArrayCache *arrayCache);
   ~MemoryManager();
 
   kdalloc::AllocatorFactory heapFactory;