Function Argument Evaluation

[Christopher R Volpe]

In article <9439 at cognos.UUCP>, jimp at cognos.UUCP (Jim Patterson) writes:
|>So, *(p=&x) is actually *(p) after assignment, not *(&x), and any of the
|>four results quoted previously is possible.

I believe that in any situation in which the behavior is *not* undefined,
there is absolutely no difference between "the value of the left operand
after assignment" and "the value of the right operand suitably cast to
the type of the left operand".

Drawing such a distinction affects things only when something has been
done to render the behavior undefined. If there's a counter example
to the above paragraph, I'd love to see it.
                                 
==================
Chris Volpe
G.E. Corporate R&D
volpecr at crd.ge.com