Module: ppl/ppl Branch: pip Commit: 0f6fb91d81ebec0f5ed260643bb9c8821f80b341 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f6fb91d81ebe...

Author: François Galea francois.galea@uvsq.fr Date: Wed Oct 7 20:33:36 2009 +0200

Fixed memory leak.

---

src/PIP_Problem.cc | 6 ++++++ src/PIP_Problem.inlines.hh | 4 ---- 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc index 225372f..7042940 100644 --- a/src/PIP_Problem.cc +++ b/src/PIP_Problem.cc @@ -60,6 +60,12 @@ PPL::PIP_Problem::PIP_Problem(const PIP_Problem &y) parameters(y.parameters), initial_context(y.initial_context) { PPL_ASSERT(OK()); + //FIXME: must also copy the solution tree +} + +PPL::PIP_Problem::~PIP_Problem() { + if (current_solution != 0) + delete current_solution; }

PPL::PIP_Problem_Status diff --git a/src/PIP_Problem.inlines.hh b/src/PIP_Problem.inlines.hh index ae6b5c2..44cbc94 100644 --- a/src/PIP_Problem.inlines.hh +++ b/src/PIP_Problem.inlines.hh @@ -25,10 +25,6 @@ site: http://www.cs.unipr.it/ppl/ . */

namespace Parma_Polyhedra_Library {

-inline -PIP_Problem::~PIP_Problem() { -} - inline dimension_type PIP_Problem::space_dimension() const { return external_space_dim;