[Bug fortran/71156] PURE interface/definition inconsistency: accepts invalid, rejects valid

[dominiq at lps dot ens.fr]

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

--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
With the patch in comment 3, compiling the test

module my_interface
  implicit none
  interface
    module subroutine f
    end subroutine
  end interface
end module 

submodule(my_interface) my_implementation
  implicit none
contains
    elemental module subroutine f
    end subroutine
end submodule

gives the misleading error

     elemental module subroutine f
                                 1
Error: Mismatch in PURE attribute between MODULE PROCEDURE at (1) and its
interface in my_interface