isl_tab.c: mark_redundant: only mark variable nonneg if they weren't already
commitd646efd5d7a3f60e98d02c6bd23b9ee7c06e9d89
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 23 Jul 2009 16:51:26 +0000 (23 18:51 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 4 Aug 2009 17:29:01 +0000 (4 19:29 +0200)
tree0361188dbbb5668b1ea66d56a232acf9df094ded
parent35d050172ce3e402c0d95ac6044a311c16cbeda4
isl_tab.c: mark_redundant: only mark variable nonneg if they weren't already

More imporantly, don't undo such a mark during rollback.
isl_tab.c