From: Sven Verdoolaege <skimo@kotnet.org>
Date: Tue, 1 Nov 2011 11:51:55 +0000 (+0100)
Subject: isl_tab_pip.c: sol_pma_add: add missing finalize
X-Git-Tag: isl-0.09~62
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=747d27f4c9d4ec27a071234d7cd825bc7449533e;p=platform%2Fupstream%2Fisl.git

isl_tab_pip.c: sol_pma_add: add missing finalize

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---

diff --git a/isl_tab_pip.c b/isl_tab_pip.c
index 8c0dedc..4d33b3b 100644
--- a/isl_tab_pip.c
+++ b/isl_tab_pip.c
@@ -5137,6 +5137,7 @@ static void sol_pma_add(struct isl_sol_pma *sol,
 	isl_local_space_free(ls);
 	isl_mat_free(M);
 	dom = isl_basic_set_simplify(dom);
+	dom = isl_basic_set_finalize(dom);
 	pma = isl_pw_multi_aff_alloc(isl_set_from_basic_set(dom), maff);
 	sol->pma = isl_pw_multi_aff_add_disjoint(sol->pma, pma);
 	if (!sol->pma)