From 4bcb615903f5bb5201fa00a81b9e28d0bb0dd664 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 22 Feb 2009 12:22:51 +0100 Subject: [PATCH] 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. --- isl_map.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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); -- 2.7.4