jtv(at)xs4all(dot)nl writes:
> That would answer the big question here, but where does it say that? I
> saw Neil's point that the sequence points before function calls apply for
> the nested calls as well as the outer one, but there is no ordering
> between those "nested-call" sequence points. It's all easy when you have
> a total ordering, but we're in a partial ordering here.
This is utter nonsense. If the sequence points within a function do not
follow (in an execution-order sense) the one at the call site, then no C
program on the planet will manage to work.
regards, tom lane