[Bug fortran/85575] Acceptance of invalid code: ordering of declaration statements with implicit typing

[dominiq at lps dot ens.fr]

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

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4
           Severity|normal                      |enhancement

--- Comment #9 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
AFAICT

(1) The behavior is present even without module: add

  implicit none
  integer :: cl

to the test in comment 4 and it compiles if -std=f* is not used.

(2) The extension seems to "work" as expected.

(3) The extension is not documented.

How do you expect this PR to be fixed?

(a) Remove the extension (beware benchmarks).
(b) Limit it to codes compiled with -std=legacy.
(c) Document it.
...