flang/test/Semantics/implicit-module-prefix-modfile.f90

! RUN: split-file %s %t
! RUN: %flang_fc1 -fsyntax-only -J%t %t/m.f90
! RUN: %flang_fc1 -fsyntax-only -fimplicit-module-prefix -J%t %t/s.f90 2>&1 | FileCheck %s --allow-empty --check-prefix=SILENT
! RUN: %flang_fc1 -fsyntax-only -fimplicit-module-prefix -Wimplicit-module-prefix -J%t %t/s.f90 2>&1 | FileCheck %s --check-prefix=REPAIR
! RUN: %flang_fc1 -fsyntax-only -fimplicit-module-prefix -pedantic -J%t %t/s.f90 2>&1 | FileCheck %s --check-prefix=REPAIR
! RUN: %flang_fc1 -fsyntax-only -fimplicit-module-prefix -pedantic -J%t %t/t.f90 2>&1 | FileCheck %s --allow-empty --check-prefix=IMPORT
! RUN: %flang_fc1 -fsyntax-only -J%t %t/local-m.f90
! RUN: %flang_fc1 -fsyntax-only -I%t -J%t %t/local-sm1.f90
! RUN: %flang_fc1 -fimplicit-module-prefix -emit-hlfir -I%t -J%t %t/local-sm3.f90 -o - | FileCheck %s --check-prefix=LOCAL

! A repair in current source must be reported even when the parent comes
! from a .mod file. Reading the repaired .smod must not repeat the warning.

!--- m.f90
module implicit_prefix_parent
  interface
    module subroutine implementation()
    end subroutine
  end interface
end module

!--- s.f90
submodule (implicit_prefix_parent) implicit_prefix_child
  interface
    module subroutine next_implementation()
    end subroutine
  end interface
contains
  subroutine implementation()
  end subroutine
end submodule

!--- t.f90
submodule (implicit_prefix_parent:implicit_prefix_child) implicit_prefix_grandchild
contains
  module subroutine next_implementation()
  end subroutine
end submodule

!--- local-m.f90
module local_parent
  interface
    module subroutine helper()
    end subroutine
    module subroutine run()
    end subroutine
  end interface
end module

!--- local-sm1.f90
submodule (local_parent) local_child
contains
  subroutine helper()
  end subroutine
end submodule

!--- local-sm3.f90
submodule (local_parent:local_child) local_grandchild
contains
  module subroutine run()
    call helper()
  end subroutine
end submodule

! SILENT-NOT: warning:
! SILENT-NOT: portability:
! REPAIR: portability: Assuming a missing MODULE prefix on 'implementation' to repair the separate module procedure interface 'implicit_prefix_parent:implementation' [-Wimplicit-module-prefix]
! REPAIR-NOT: missing the MODULE prefix
! REPAIR-NOT: Assuming a missing MODULE prefix
! IMPORT-NOT: warning:
! IMPORT-NOT: portability:
! LOCAL: fir.call @_QMlocal_parentSlocal_childPhelper()