| commit | 14c45f1958ed5df54d7a5239935cc6da9133aa9a | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 17 Oct 2014 08:34:25 +0000 (17 10:34 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 7 Jan 2015 15:22:47 +0000 (7 16:22 +0100) | ||
| tree | 994a817758224d4961ab75bbd339ef646d058631 | treesnapshot (tar.gz zip) |
| parent | 3e4653e5e1962278da3e045756d7fc2da9a6fddb | commitdiff |
isl_coalesce.c: contains: always return equalities back to original state
If the negated form of an equality is not satisfied by the tableau,
then we would return 0 immediately without first reverting the failing
equality back to its original state. This is important to be able to match
the equality status bits with the right sign of the equality, in particular
if we only want to wrap the non-valid side.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
If the negated form of an equality is not satisfied by the tableau,
then we would return 0 immediately without first reverting the failing
equality back to its original state. This is important to be able to match
the equality status bits with the right sign of the equality, in particular
if we only want to wrap the non-valid side.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_coalesce.c | diffblobblamehistory |