Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!crdgw1!camelback!volpe
From: volpe@camelback.crd.ge.com (Christopher R Volpe)
Newsgroups: comp.std.c
Subject: Re: Function Argument Evaluation
Message-ID: <17895@crdgw1.crd.ge.com>
Date: 26 Mar 91 13:20:54 GMT
References: <15552@smoke.brl.mil> <1991Mar23.014442.24307@cs.ucla.edu> <17868@crdgw1.crd.ge.com> <3216@charon.cwi.nl>
Sender: news@crdgw1.crd.ge.com
Reply-To: volpe@camelback.crd.ge.com (Christopher R Volpe)
Lines: 20

In article <3216@charon.cwi.nl>, dik@cwi.nl (Dik T. Winter) writes:
|>You both fail to see that the value of
|>	(lvalue = expression)
|>is *not* the value of 'expression' before assignment but the value of
'lvalue'
|>after assignment.

Ah. Right. Thank you very much, Dik. Now why couldn't someone have pointed
this out before, since that is in fact the root of this confusion.

However, isn't this a moot point? The only time the value of 'expression'
before assignment may NOT be equal to the value of 'lvalue' after 
assignment is in the case that 'lvalue' has its contents modified more
than once between sequence points, in which case all bets are off. Is this
last statement correct? If not, could someone provide a counter-example? 
(Is the example currently under discussion a counter example?)             
==================
Chris Volpe
G.E. Corporate R&D
volpecr@crd.ge.com