> If a programmer writes "X+1 > X", chances are this is an overflow check.

If the programmer writes

    for (i = a; i < b; i++)

then it's not clear if you need to check 'i' for overflow; Assuming that 'i++' is greater than 'i' allows the compiler to, say, unroll the loop.