projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 21c2955) | patch
isl_tab.c: unrelax: restore row if variable is non-negative
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 30 Mar 2010 09:56:41 +0000 (11:56 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 30 Mar 2010 10:05:39 +0000 (12:05 +0200)
commitb6d5bd9c92dc200cbdbbdc9e462e98aea3fa48dc
tree98955a8f981162e14b3bba0ddfaf479c4342fe14tree | snapshot
parent21c29555fd8af6362ee9ebec61c17124ec8c8567commit | diff
isl_tab.c: unrelax: restore row if variable is non-negative

Unrelaxing a constraint means that the constraint is tightened.
The sample value may therefore become negative and then have to
restore the row again.  This is guaranteed to succeed because
the tableau was supposed to be in a valid state before the constraint
was relaxed.
isl_tab.c diff | blob | history
isl_test.c diff | blob | history
Domain: System / Uncategorized;