&gt; If a programmer writes &quot;X+1 &gt; X&quot;, chances are this is an overflow check.<p>If the programmer writes<p><pre><code>    for (i = a; i &lt; b; i++)
</code></pre>
then it&#x27;s not clear if you need to check &#x27;i&#x27; for overflow; Assuming that &#x27;i++&#x27; is greater than &#x27;i&#x27; allows the compiler to, say, unroll the loop.