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 /runtime | |
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 'runtime')
0 files changed, 0 insertions, 0 deletions