...
This requirement must be met for each allowable ordering of the subexpressions of a full expression; otherwise, the behavior is undefined. (See undefined behavior 3534.)
The following sequence points are defined in the C Standard, Annex C [ISO/IEC 9899:2011]:
...