(j3.2006) does move_alloc violate restrictions in 12.5.2.13?

[Kurt W Hirchert]

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.

-Kurt