From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 21 Apr 2010 15:42:24 +0000 (+0200)
Subject: isl_map_compute_divs: make sure result is gaussed and finalized
X-Git-Tag: isl-0.03~227
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=565134e0e114f9a1f84492e8848265f7364c3746;p=platform%2Fupstream%2Fisl.git

isl_map_compute_divs: make sure result is gaussed and finalized

In particular, when the variables in the input can be compressed,
basic_set_append_equalities should gauss and finalize the result
of adding the equalities back in.
---

diff --git a/isl_map.c b/isl_map.c
index dcc592a..683312d 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -4264,6 +4264,9 @@ static struct isl_basic_set *basic_set_append_equalities(
 	}
 	isl_mat_free(eq);
 
+	bset = isl_basic_set_gauss(bset, NULL);
+	bset = isl_basic_set_finalize(bset);
+
 	return bset;
 error:
 	isl_mat_free(eq);