Semantics of MODIFY_EXPR with CONSTRUCTOR rhs

[Gabriel Dos Reis]

Laurent GUERBY <laurent@guerby.net> writes:

| On Mon, 2004-08-02 at 12:48, Gabriel Dos Reis wrote:
| > There are two issues, made distinct in RTH's message:
| > 
| >   (1) initialization
| >   (2) assignment.
| > 
| > My comments was made in the context of C99 semantics.
| > Assignment uses a copy.  Initialization with self-reference may have
| > indeterminate value.
| 
| Okay, I was just making sure we were talking about the right problem,
| thanks for the precision on C99. The problem Richard Kenner is seeing is
| only (2), (1) is not a problem in Ada since this kind of construction is
| illegal at compile time, and you get an error message from GCC:
| 
| A : R := (1, A.X);
|              object "A" cannot be used before end of its declaration

Okayyy.  Thanks,

-- Gaby