From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sat, 9 Aug 2008 11:40:24 +0000 (+0200)
Subject: isl_map_subtract: simplify and finalize parts before checking emptiness
X-Git-Tag: isl-0.01~461
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=ff145815a97a44c8ae8f4694ab7abd29e6e19e8b;p=platform%2Fupstream%2Fisl.git

isl_map_subtract: simplify and finalize parts before checking emptiness
---

diff --git a/isl_map.c b/isl_map.c
index 29b74c7..68e8527 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -2619,6 +2619,8 @@ static struct isl_map *add_cut_constraint(struct isl_ctx *ctx,
 		isl_seq_cpy(copy->ineq[k], c, len);
 	isl_seq_clr(copy->ineq[k]+len, extra);
 	isl_inequality_negate(ctx, copy, k);
+	copy = isl_basic_map_simplify(ctx, copy);
+	copy = isl_basic_map_finalize(ctx, copy);
 	is_empty = isl_basic_map_is_empty(ctx, copy);
 	if (is_empty < 0)
 		goto error;