diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-23 12:30:54 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-23 12:48:46 +0000 |
| commit | c8b3c00f1f15952ea4bcbeb9c633f9e8ebc8a6bf (patch) | |
| tree | 78b3b7814a229d8fffe9432faac3a5335bc2bde2 /test/Solver | |
| parent | 29d010c291558a4199b5116d312f32cad86807e7 (diff) | |
| download | klee-c8b3c00f1f15952ea4bcbeb9c633f9e8ebc8a6bf.tar.gz | |
Fix memory leak detected by ASan when
``IndependentSolver::computeInitialValues()`` was called where at least
one of the constraint sets computed by
``getAllIndependentConstraintsSets()`` is either unsatisfiable or
the solver failed.
To make things (a little) clearer I've made it so that no
``std::list<>*`` is passed to``getAllIndependentConstraintsSets()``.
Instead ``getAllIndependentConstraintsSets()`` now returns a
``std::list<>*`` that the caller is responsible for cleaning up. The
behaviour previously was really confusing because it was unclear if the
caller or callee was responsible for the clean up.
This fixes #322
Diffstat (limited to 'test/Solver')
0 files changed, 0 insertions, 0 deletions