(j3.2006) referencing co-array variable that is an ultimate argument
Tue May 22 20:27:30 EDT 2007
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 ..." ?
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.
........................Malcolm Cohen (malcolm at nag-j.co.jp), Nihon NAG, Tokyo.
More information about the J3