To:       J3                                                08-199
From:     Jim Xia
Subject:  Comment: to disallow finalizations on coindexed objects
Date: 2008 May 23
References: J3/08-007r2 (WG5/N1723)


Discussion:

It seems the 2008 standard requires finalizations of coindexed objects
on two occasions when: 1. a coindexed object as <variable> in an
intrinsic assignment; 2. a coindexed object as an actual argument
associated with an INTENT(OUT) dummy argument.  The semantics of the two
situations are not well defined.  Therefore it's desirable to disallow
finalizations to happen to coindexed objects.


EDITS to 08-007r2 (WG5 N1723):

[74:4.5.6.3p8] In "When finalization occurs"

Insert
      ", and non-coindexed " before "object".


[74:4.5.6.3p9] In "When finalization occurs"

Insert before comma (,)
      " and the variable is not a coindexed object"

[74:4.5.6.4p1] In "Entities that are not finalized"

Insert a new paragraph after NOTE 4.50
      "Co-indexed objects are never finalized."