diff options
author | Martin Nowack <m.nowack@imperial.ac.uk> | 2023-05-16 15:23:11 +0100 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-05-26 21:01:54 +0100 |
commit | 7667c5c71748f319f2b8b2e7fb0cbc884bde04d4 (patch) | |
tree | 4a9a6ebe782689b7fb8842fd9c68284fa7546a66 /lib/Core/MemoryManager.h | |
parent | 8500a8190fe61dd9240d91baf849cba0cc859b82 (diff) | |
download | klee-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.h | 2 |
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; |