From 747d27f4c9d4ec27a071234d7cd825bc7449533e Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Tue, 1 Nov 2011 12:51:55 +0100 Subject: [PATCH] isl_tab_pip.c: sol_pma_add: add missing finalize Signed-off-by: Sven Verdoolaege --- isl_tab_pip.c | 1 + 1 file changed, 1 insertion(+) 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) -- 2.7.4