> 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 ne

> 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.