...
If a side effect on a scalar object is unsequenced relative to either a different side effect on the same scalar object or a value computation using the value of the same scalar object, the behavior is undefined. If there are multiple allowable orderings of the subexpressions of an expression, the behavior is undefined if such an unsequenced side effect occurs in any of the orderings.
(See also undefined behavior 35 in Annex J of the C Standard.)
This requirement must be met for each allowable ordering of the subexpressions of a full expression; otherwise, the behavior is undefined (see undefined behavior 35.)
The following sequence points are defined in Annex C of the C Standard [ISO/IEC 9899:2011]:
...