From 0df1c79b87ecda62021423fe6541893870f8fb4f Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 13 Apr 2011 10:37:46 +0200 Subject: [PATCH] isl_printer_print_basic_set: also print invalid basic sets In particular, zero equality rows should not appear in a finalized basic set, but they may appear during the construction of a basic set. Signed-off-by: Sven Verdoolaege --- isl_output.c | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/isl_output.c b/isl_output.c index ffdb3e2..d62d4a4 100644 --- a/isl_output.c +++ b/isl_output.c @@ -474,7 +474,12 @@ static __isl_give isl_printer *print_constraints(__isl_keep isl_basic_map *bmap, for (i = bmap->n_eq - 1; i >= 0; --i) { int l = isl_seq_last_non_zero(bmap->eq[i], 1 + total); - isl_assert(bmap->ctx, l >= 0, goto error); + if (l < 0) { + if (i != bmap->n_eq - 1) + p = isl_printer_print_str(p, s_and[latex]); + p = isl_printer_print_str(p, "0 = 0"); + continue; + } if (isl_int_is_neg(bmap->eq[i][l])) isl_seq_cpy(c->el, bmap->eq[i], 1 + total); else -- 2.7.4