The fog is starting to clear, but only slightly. :confused:
I can see why post-incrementing could cause problems, but pre-increments are supposed to happen before the values are used...
As for functions like a() / b(), they aren't listed in the Operator Precedence, so they're definitely undefined.
By "how the operators bind to operands", are you talking about the Left to Right or Right to Left Associativity?