| commit | acacc642ad98356ad4db4ac2a327b1fabd1caf7c | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 2 Jun 2012 15:58:06 +0000 (2 17:58 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 2 Jun 2012 15:58:06 +0000 (2 17:58 +0200) | ||
| tree | 13ee19ca60e5259306c8c6bda19f3806db206dfa | treesnapshot (tar.gz zip) |
| parent | 9fed63c9992f6620059e959b7674146479cac18f | commitdiff |
PetScan::extract_for: remove incorrect optimization that avoids wrapping
We incorrectly used the "is_simple_bound" condition to avoid applying
the wrapping, but that condition doesn't even check that there is an
upper bound. If there is no upper bound, then the (virtual) iteration domain
is infinite and wrapping is clearly needed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
We incorrectly used the "is_simple_bound" condition to avoid applying
the wrapping, but that condition doesn't even check that there is an
upper bound. If there is no upper bound, then the (virtual) iteration domain
is infinite and wrapping is clearly needed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| scan.cc | diffblobblamehistory | |
| tests/unsigned3.c | [new file with mode: 0644] | blob |
| tests/unsigned3.scop | [new file with mode: 0644] | blob |