Justification

The right-hand operand of a "&&" or "||" is conditionally executed. Besides, the precedence of operators in C is not intuitive.

Example 1

if ((a > b) && (i++ != 0)) /* WRONG: i not always changed */

Example 2

if ((a > b) && (i != 0)) /* RIGHT */
   ...

}

Example 3

if (a > b)
{
   i++; /* RIGHT */
}