about summary refs log tree commit diff homepage
path: root/runtime
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2015-12-23 12:30:54 +0000
committerDan Liew <daniel.liew@imperial.ac.uk>2015-12-23 12:48:46 +0000
commitc8b3c00f1f15952ea4bcbeb9c633f9e8ebc8a6bf (patch)
tree78b3b7814a229d8fffe9432faac3a5335bc2bde2 /runtime
parent29d010c291558a4199b5116d312f32cad86807e7 (diff)
downloadklee-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 'runtime')
0 files changed, 0 insertions, 0 deletions