To: J3 J3/22-199 From: John Reid Subject: DIS edits re "ultimate component" Date: 2022-October-18 References: N2203 (Corrigendum 2), N2205 (Defect Report), N2209 (DIS) Discussion ---------- In the changes imported from Corrigendum 2, there are five places (see edits below) where what was "ultimate component" in coarray contexts in Fortran 2018 needs to be "potential subobject component" in Fortran 2023. Edits to the DIS ---------------- In 15.5.2.14 Restrictions on entities associated with dummy arguments, para 1, item (3) (e), change "ultimate component" to "potential subobject component" so that the item becomes "Action that affects the value of the entity or any subobject of it shall be taken only through the dummy argument unless ..., or the dummy argument has a coarray potential subobject component and the action is a coindexed definition of the corresponding coarray by a different image." In 15.5.2.14 Restrictions on entities associated with dummy arguments, para 1, item (4) (e), change "ultimate component" to "potential subobject component" so that the item becomes "If the value of the entity or any subobject of it is affected through the dummy argument, then at any time during the invocation and execution of the procedure, either before or after the definition, it shall be referenced only through that dummy argument unless ..., or the dummy argument has a coarray potential subobject component and the reference is a coindexed reference of the corresponding coarray by a different image." In 15.5.2.14 Restrictions on entities associated with dummy arguments, final note (NOTE 5), first sentence, change "ultimate component" to "potential subobject component" so that the sentence becomes "The exceptions to the aliasing restrictions for dummy arguments that are coarrays or have coarray potential subobject components enable cross-image access while the procedure is executing." In 16.9.54 CO_BROADCAST, argument A, final sentence change "ultimate component" to "potential subobject component" twice so that the sentence becomes "If no error condition occurs, A becomes defined, as if by intrinsic assignment, on all images in the current team with the value of A on image SOURCE_IMAGE, including (re)allocation of any allocatable potential subobject component, and setting the dynamic type of any polymorphic allocatable potential subobject component."