When invoking a function
f (whether or not the function is inline),
every argument expression and
the postfix expression designating
f
are sequenced before
every precondition assertion of
f (
[dcl.contract.func]),
which in turn are sequenced before
every expression or statement
in the body of
f,
which in turn are sequenced before
every postcondition assertion of
f.