diff options
author | Dan Liew <delcypher@gmail.com> | 2015-12-17 19:09:41 +0000 |
---|---|---|
committer | Dan Liew <delcypher@gmail.com> | 2015-12-17 19:09:41 +0000 |
commit | d8f9c929f69cdfb739f03b6512035071c02108c9 (patch) | |
tree | 35987eee65e150f38ea7aedaec83c2e93493b359 /lib/Core/MemoryManager.cpp | |
parent | b2e64702cc1ebb1ffe01a32ebde0f179bf09c337 (diff) | |
parent | a0ef27ead67dcc9595585f58f80303cc80ef8dfb (diff) | |
download | klee-d8f9c929f69cdfb739f03b6512035071c02108c9.tar.gz |
Merge pull request #316 from delcypher/update_list_leak
Fix a memory leak in ``UpdateList`` detected by AddressSanitizer.
Diffstat (limited to 'lib/Core/MemoryManager.cpp')
0 files changed, 0 insertions, 0 deletions