On Wed, Nov 19, 2014 at 10:21 PM, Patrick Palka <patr...@parcs.ath.cx> wrote: > VRP may simplify a conditional like i <= 5 to i == 5 if it is known that > the lower bound of i's range is 5, e.g. [5, +INF]. But if the upper > bound of i's range is also overflow infinity, i.e. [5, +INF(OVF)] then > this transformation is only valid if -fstrict-overflow is in effect. > Likewise for transforming i > 10 to i != 10 given i's range is > [10, +INF(OVF)] and for transforming i <= 20 to i == 20 given i's range > is [-INF(OVF), 20].
Oops, I meant to say ...and for transforming i >= 20 to i == 20 given i's range is [-INF(OVF), 20].