isl_tab_rollback: restore rows that are no longer marked redundant
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 22 Apr 2010 11:07:22 +0000 (13:07 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 23 Apr 2010 10:02:54 +0000 (12:02 +0200)
commitd5b5f5caf90d29bd8eb2fd29c9db20552482a96e
tree950be936d08e9bb7e2785d8c0bca1a297850a0ff
parent972d64f64336e0b2e84322821807484d2142ed71
isl_tab_rollback: restore rows that are no longer marked redundant

When a row is marked redundant, it may have a negative (but strictly
larger than -1) sample value.  When undoing this marking, we need
to make sure the sample value is restored to a non-negative value.
isl_tab.c