From d3e8e49d899258fa4013876f4265ac2fbcfbacc5 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 9 Apr 2010 12:52:47 +0200 Subject: [PATCH] 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. --- isl_output.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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); -- 2.7.4