diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2011-04-13 10:37:46 +0200 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2011-04-21 13:13:11 +0200 |
commit | 0df1c79b87ecda62021423fe6541893870f8fb4f (patch) | |
tree | 53f89ec108ff50fee72a211b0508a4aad06677e6 /isl_output.c | |
parent | 6148816f9fd706ce5e9e7e6ebc04167b02fed464 (diff) | |
download | isl-0df1c79b87ecda62021423fe6541893870f8fb4f.tar.gz isl-0df1c79b87ecda62021423fe6541893870f8fb4f.tar.bz2 isl-0df1c79b87ecda62021423fe6541893870f8fb4f.zip |
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 <skimo@kotnet.org>
Diffstat (limited to 'isl_output.c')
-rw-r--r-- | isl_output.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/isl_output.c b/isl_output.c index ffdb3e24..d62d4a4c 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 |