[J3] [SC22WG5.6704] WG5 letter ballot 1 on Fortran 2023 interpretations

[John Reid]

Here is John Reid's vote

Yes  No   Number    Title

-Y-  ---  F23/003  Conflicting rules for COMMON block names
-Y-  ---  F23/004  OUT_OF_RANGE and ROUND argument
-Y-  ---  F23/005  Defined assignment/operators and dynamic type
-Y-  ---  F23/006  Underflow in IEEE_SCALB
-Y-  ---  F23/008  Real argument I in IEEE_SCALB
-Y-  ---  F23/009  Coarray subobject of component
-Y-  ---  F23/010  MOVE_ALLOC with coarray arguments
-Y-  ---  F23/011  NULL and procedure pointers
-Y-  ---  F23/012  Coarray correspondence in DEALLOCATE
-Y-  ---  F23/013  BOZ literals in interoperable enumerators
-Y-  ---  F23/015  Coindexed objects in structure constructors
-N-  ---  F23/016  Segments associated with allocation
-Y-  ---  F23/017  CFI_establish nonalloc nonpointer null base address
-Y-  ---  F23/018  Correspondence of unallocated coarrays

No vote on F23/016  Segments associated with allocation
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

My no vote would change to yes if the following comments are given 
careful consideration.

1. The answer does not say where the text it quotes lies in the 
standard. It is from 9.7.1.2, para. 5 and 9.7.3.2, para 10.

2. The third paragraph of the answer says
"That means that after execution of the ALLOCATE statement on an image, 
the coarray is allocated on all the images (in the team)."
We are talking here about a set of corresponding coarrays rather than a 
single coarray so it would be clearer to say
"That means that after execution of the ALLOCATE statement on an image, 
the corresponding coarrays are allocated on all the images (in the team)."
Note that an extra paragraph on corresponding coarrays is added in 
iterp. F23/018.

The same comment applies in the final paragraph of the answer, which 
would be better written as
" ... after the DEALLOCATE statement execution is complete on one image, 
the corresponding coarrays are unallocated on all active images."

3. It would be desirable to make these edits to the standard:

9.7.1.2, para. 5. Change the final sentence to
"The coarray shall not become allocated on an image unless the 
corresponding coarrays are successfully allocated on all other active 
images in this team."

9.7.3.2, para 10. Change the final sentence to
"A coarray shall not become deallocated on an image unless the 
corresponding coarrays are successfully deallocated on all other active 
images in this team."