[Bug fortran/58310] Allocatable component arrays: Wrong code after calling a subroutine

[burnus at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58310

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|accepts-invalid, diagnostic |wrong-code
            Summary|Missing diagnosis for C614: |Allocatable component
                   |[…] A part-name to the      |arrays: Wrong code after
                   |right of a part-ref with    |calling a subroutine
                   |nonzero rank shall not have |
                   |the ALLOCATABLE or POINTER  |
                   |attribute."                 |

--- Comment #3 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Sigh, seemingly, this code does *not* violate C614 - and should be supported.
(See thread.) y%x%v would be bad, but y%x isn't.

In this special case, not even copy-in should be need as the sizes and padding
should allow for element-size strides. Otherwise the new descriptor is required
for to avoid it in the general case. Still, a wrong-code issue is a wrong-code
issue…