diff options
| author | Dan Liew <delcypher@gmail.com> | 2015-12-18 12:48:18 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2015-12-18 12:48:18 +0000 |
| commit | 535be01be5ab33a0e7106e2d5511bba2797d1ed0 (patch) | |
| tree | 026a4f1b16c1996755954f7824e0d10f8ed0ef8e /lib/Core/MemoryManager.h | |
| parent | 7e75fa79b2e76251c2cd417a7eae8a7620b014ae (diff) | |
| parent | 53ff7a002a8213a5d5e778bef2a895998d9890e1 (diff) | |
| download | klee-535be01be5ab33a0e7106e2d5511bba2797d1ed0.tar.gz | |
Merge pull request #315 from delcypher/array_leak
Try to fix leaking Array objects detected by ASan.
Diffstat (limited to 'lib/Core/MemoryManager.h')
| -rw-r--r-- | lib/Core/MemoryManager.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/Core/MemoryManager.h b/lib/Core/MemoryManager.h index f398db62..01683443 100644 --- a/lib/Core/MemoryManager.h +++ b/lib/Core/MemoryManager.h @@ -19,14 +19,16 @@ namespace llvm { namespace klee { class MemoryObject; + class ArrayCache; class MemoryManager { private: typedef std::set<MemoryObject*> objects_ty; objects_ty objects; + ArrayCache *const arrayCache; public: - MemoryManager() {} + MemoryManager(ArrayCache *arrayCache) : arrayCache(arrayCache) {} ~MemoryManager(); MemoryObject *allocate(uint64_t size, bool isLocal, bool isGlobal, @@ -35,6 +37,7 @@ namespace klee { const llvm::Value *allocSite); void deallocate(const MemoryObject *mo); void markFreed(MemoryObject *mo); + ArrayCache *getArrayCache() const { return arrayCache; } }; } // End klee namespace |