From: Sven Verdoolaege <skimo@kotnet.org>
Date: Fri, 9 Apr 2010 10:52:47 +0000 (+0200)
Subject: isl_map_print: allow empty constraints
X-Git-Tag: isl-0.03~264
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=d3e8e49d899258fa4013876f4265ac2fbcfbacc5;p=platform%2Fupstream%2Fisl.git

isl_map_print: allow empty constraints

A basic map that is passed to the user should never contain a constraint
"0 >= 0".  However, internally, such constraints can exist for a while
and for debugging purposes, it's convenient to be able to print
basic maps with such constraints.
---

diff --git a/isl_output.c b/isl_output.c
index e755c3d..e4d3e03 100644
--- a/isl_output.c
+++ b/isl_output.c
@@ -340,7 +340,8 @@ static __isl_give isl_printer *print_constraints(__isl_keep isl_basic_map *bmap,
 		int l = isl_seq_last_non_zero(bmap->ineq[i], 1 + total);
 		int s;
 		const char *op;
-		isl_assert(bmap->ctx, l >= 0, goto error);
+		if (l < 0)
+			continue;
 		s = isl_int_sgn(bmap->ineq[i][l]);
 		if (s < 0)
 			isl_seq_cpy(c->el, bmap->ineq[i], 1 + total);