@@ -24,20 +24,20 @@ be unsigned. The following cases all fall into the first category.
2424</p >
2525
2626<p >
27- Given <code >unsigned short i , delta</code > and <code >i + delta < i </code >,
28- it is possible to rewrite it as <code >(unsigned short)(i + delta) < i </code >.
29- Note that <code >i + delta</code > does not actually overflow, due to <code >int</code > promotion.
27+ Given <code >unsigned short n1 , delta</code > and <code >n1 + delta < n1 </code >,
28+ it is possible to rewrite it as <code >(unsigned short)(n1 + delta) < n1 </code >.
29+ Note that <code >n1 + delta</code > does not actually overflow, due to <code >int</code > promotion.
3030</p >
3131
3232<p >
33- Given <code >unsigned short i , delta</code > and <code >i + delta < i </code >,
34- it is also possible to rewrite it as <code >i > USHORT_MAX - delta</code >. The
33+ Given <code >unsigned short n1 , delta</code > and <code >n1 + delta < n1 </code >,
34+ it is also possible to rewrite it as <code >n1 > USHORT_MAX - delta</code >. The
3535<code >limits.h</code > or <code >climits</code > header must then be included.
3636</p >
3737
3838<p >
39- Given <code >int i , delta</code > and <code >i + delta < i </code >,
40- it is possible to rewrite it as <code >i > INT_MAX - delta</code >. It must be true
39+ Given <code >int n1 , delta</code > and <code >n1 + delta < n1 </code >,
40+ it is possible to rewrite it as <code >n1 > INT_MAX - delta</code >. It must be true
4141that <code >delta > = 0</code > and the <code >limits.h</code > or <code >climits</code >
4242header has been included.
4343</p >
0 commit comments