[Bug fortran/110033] New: rejects-valid: associate name corresponding to coarray selector should be considered a coarray

[Bug fortran/110033] New: rejects-valid: associate name corresponding to coarray selector should be considered a coarray

[neil.n.carlson at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110033

            Bug ID: 110033
           Summary: rejects-valid: associate name corresponding to coarray
                    selector should be considered a coarray
           Product: gcc
           Version: 13.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: neil.n.carlson at gmail dot com
  Target Milestone: ---

In the following example, the associate name Y corresponds to a coarray.
According to 11.1.3.3 par. 2 (f2018), Y should be regarded as a coarray,
however gfortran rejects this as invalid.

real :: x[*]
associate (y => x)
  y[1] = 1.0
end associate
end

gfortran -fcoarray=lib gfortran-20230529.f90 
gfortran-20230529.f90:18:4:

   18 |   y[1] = 1.0
      |    1
Error: Coarray designator at (1) but ‘y’ is not a coarray

[Bug fortran/110033] rejects-valid: associate name corresponding to coarray selector should be considered a coarray

[neil.n.carlson at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110033

--- Comment #1 from Neil Carlson <neil.n.carlson at gmail dot com> ---
This must be related to PR78152

[Bug fortran/110033] rejects-valid: associate name corresponding to coarray selector should be considered a coarray

[kargl at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110033

kargl at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |kargl at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2023-06-02

--- Comment #2 from kargl at gcc dot gnu.org ---
Confirmed.

There is a check for F2023:C1103

C1103 (R1105) variable shall not be a coindexed object.

but that applies to something like 'associate(y => x[1])'.

gfortran needs to check that if 'x' in 'associate(y => x)'
is a coarray, that its codimension and corank are propagated to
'y'.

[Bug fortran/110033] rejects-valid: associate name corresponding to coarray selector should be considered a coarray

[kargl at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110033

kargl at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4

[Bug fortran/110033] rejects-valid: associate name corresponding to coarray selector should be considered a coarray

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110033

Paul Thomas <pault at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pault at gcc dot gnu.org
             Blocks|                            |87477

--- Comment #3 from Paul Thomas <pault at gcc dot gnu.org> ---
I'm onto it :-)

Paul


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87477
[Bug 87477] [meta-bug] [F03] issues concerning the ASSOCIATE statement