(j3.2006) does move_alloc violate restrictions in

Kurt W Hirchert hirchert
Tue Oct 27 20:24:23 EDT 2009

Jim Xia wrote:
> 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 mailing list