...
EXP05-EX0: The increment and decrement operators (++) and (--) read a numeric variable, and then assign a new value to the variable. While these operators read and modify a value, they are well-understood and are an exception to this rule. This exception does not apply if a value modified by an increment or decrement operator is subsequently read or written.
EXP05-EX1: The conditional-or || and conditional-and && operators have well-understood short-circuit semantics. Writes followed by subsequent writes or reads does do not violate this rule if they occur in different operands of || or &&. Consider the following code example:
...