https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94110
Thomas Koenig <tkoenig at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Status|UNCONFIRMED |WAITING
CC| |tkoenig at gcc dot gnu.org
Last reconfirmed| |2020-04-13
--- Comment #1 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
(In reply to José Rui Faustino de Sousa from comment #0)
> Created attachment 48000 [details]
> Code demonstrating problems.
>
> Hi all!
>
> I am pretty sure this code is erroneous both because you can not pass an
> assumed-size to an assumed-shape
This is entirely possible and normal practice, and is often done by
normal code.
(I am, however, willing to be corrected).
> and because of pointer association rules.
Which rules?
Can you specify what the standard says about this case?
(If it is a numbered constraint, then a compiler is required
to diagnose it. If it is something like "shall" or "shall not",
then it is up to the programmer to get this right; a good
implementation might catch the error, but it is not
required to do so).
