https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94110
Thomas Koenig <tkoenig at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Severity|normal |enhancement Summary|Erroneous code compiling |Passing an assumed-size to | |an assumed-shape argument | |should be rejected Keywords|accepts-invalid |diagnostic Status|WAITING |NEW --- Comment #3 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- So, as far as I can see, not something that the compiler is required to diagnose. Confirming as an enhancement.