(j3.2006) referencing co-array variable that is an ultimate argument

[Malcolm Cohen]

Michael Ingrassia said:
> At [07-007r1:197:16-17] we require that
> if a co-array variable is defined on an image in a segment, it shall not be
> referenced, defined, or become undefined in a segment on another image unless
> the segments are ordered.
> 
> Do we need to modify that to
> "neither it nor any co-array variable with which it is argument
> associated shall be referenced, defined, or become undefined ..."   ?

No.

Defining (or undefining) the other (argument-associated) entity will
define or undefine the co-array variable as appropriate.

See "Events that cause variables to become defined".

> If that seems insufficiently motivated I can try to cobble up an
> example of what I'm worried about.   

There is also the rule about while something is associated with a dummy
argument, it shall not be defined/undefined except through that
argument.  (Unless the dummy is a TARGET or POINTER.)  And if it is
validly defined or undefined (thus via the dummy), it shall not be
referenced except via the dummy.

We've not relaxed our normal anti-aliasing rules for coarrays.

Cheers,
-- 
........................Malcolm Cohen (malcolm at nag-j.co.jp), Nihon NAG, Tokyo.