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 /include | |
| 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 'include')
| -rw-r--r-- | include/klee/Expr.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/klee/Expr.h b/include/klee/Expr.h index af8bf10f..c5a110f8 100644 --- a/include/klee/Expr.h +++ b/include/klee/Expr.h @@ -715,6 +715,8 @@ public: int compare(const UpdateList &b) const; unsigned hash() const; +private: + void tryFreeNodes(); }; /// Class representing a one byte read from an array. |