From 973960591050bb7ffa40a49e564104ec4e9d4b93 Mon Sep 17 00:00:00 2001 From: Sebastian Pop Date: Sun, 24 May 2009 15:09:26 -0500 Subject: [PATCH] Fix memory leak --- source/ppl/domain.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/source/ppl/domain.c b/source/ppl/domain.c index c5daa96..929e52a 100644 --- a/source/ppl/domain.c +++ b/source/ppl/domain.c @@ -420,6 +420,8 @@ cloog_translate_oppose_constraint (CloogMatrix *matrix, int i, int cst, int ineq ppl_assign_Coefficient_from_mpz_t (coef, val); ppl_Linear_Expression_add_to_inhomogeneous (expr, coef); ppl_delete_Coefficient (coef); + value_clear (val); + value_clear (val1); if (ineq != 0 && ineq != 1) ineq = !cloog_matrix_row_is_eq_p (matrix, i); -- 2.11.4.GIT