(j3.2006) does move_alloc violate restrictions in 188.8.131.52?
Kurt W Hirchert
Tue Oct 27 20:24:23 EDT 2009
Jim Xia wrote:
> MOVE_ALLOC (FROM, TO)
> moves allocation status from "FROM" to "TO". During the process the
> actual object associated with "FROM" is moved to "TO". Doesn't this
> violate the rule in (2) on page 301?
No. The changes in allocation status are being made through the dummy
arguments FROM and TO, so there is no violation of (2). The rule in (2)
could only be violated if MOVE_ALLOC were also accessing the actual
arguments by something like host association or use association, and the
intrinsic procedures never do that.
More information about the J3