[Bug fortran/45859] [Coarray, F2008, IR] Rejects valid actuals to coarray dummies

[burnus at gcc dot gnu.org]

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

Tobias Burnus <burnus at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW

--- Comment #6 from Tobias Burnus <burnus at gcc dot gnu.org> ---
(In reply to Dominique d'Humieres from comment #5)
> > TODO: Wait for the result of the IR.

It's now available under "F08/0048" at
ftp://ftp.nag.co.uk/sc22wg5/N1951-N2000/N1959.txt - published as Corrigendum 2
to Fortran 2008.

> From my version of the Fortran 2015 draft
> 2 If the dummy argument is an array coarray that has the CONTIGUOUS attribute
>   or is not of assumed shape, the corresponding actual argument shall be
> simply
>   contiguous or an element of a simply contiguous array.
> 
> Does it means that gfortran is correct?

No - the code is valid. The added wording was "an element of a simply
contiguous array" - and the example from comment 0 ("call sub (x(10))") is the
latter.