about summary refs log tree commit diff homepage
path: root/lib/Module/Passes.h
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 /lib/Module/Passes.h
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 'lib/Module/Passes.h')
0 files changed, 0 insertions, 0 deletions