From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sun, 22 Feb 2009 11:22:51 +0000 (+0100)
Subject: isl_basic_map_overlying_set: don't add div constraints for unknown divs
X-Git-Tag: isl-0.01~292
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=4bcb615903f5bb5201fa00a81b9e28d0bb0dd664;p=platform%2Fupstream%2Fisl.git

isl_basic_map_overlying_set: don't add div constraints for unknown divs

Constructing div constraints as if the div were known, results in
unsatisfiable constraints.
Perhaps isl_basic_map_overlying_set shouldn't get called with a model
with unknown divs, but we currently allow it.
---

diff --git a/isl_map.c b/isl_map.c
index c7efa29..8620d6d 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -2150,9 +2150,12 @@ struct isl_basic_map *isl_basic_map_overlying_set(
 		}
 		bmap = isl_basic_map_extend_constraints(bmap, 
 							0, 2 * like->n_div);
-		for (i = 0; i < like->n_div; ++i)
+		for (i = 0; i < like->n_div; ++i) {
+			if (isl_int_is_zero(bmap->div[i][0]))
+				continue;
 			if (add_div_constraints(bmap, i) < 0)
 				goto error;
+		}
 	}
 	isl_basic_map_free(like);
 	bmap = isl_basic_map_simplify(bmap);