Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[flang] Include missing internal interfaces in .mod files
Interfaces which are internal to a procedure need to be included in module files if (and only if) they are referenced in the interface of the procedure. That is, they are needed if they are the interfaces of dummy or return value procedures. Fixes #53420 Differential Revision: https://reviews.llvm.org/D121738
- Loading branch information
Showing
2 changed files
with
79 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,55 @@ | ||
! RUN: %python %S/test_modfile.py %s %flang_fc1 | ||
! Ensure that interfaces, which are internal to procedures and are used to | ||
! define the interface of dummy or return value procedures, are included in | ||
! .mod files. | ||
module m | ||
implicit none | ||
contains | ||
function f(x) | ||
real, intent(in) :: x | ||
abstract interface | ||
subroutine used_int(x, p) | ||
implicit none | ||
real, intent(out) :: x | ||
interface | ||
subroutine inner_int(x) | ||
implicit none | ||
real, intent(out) :: x | ||
end subroutine inner_int | ||
end interface | ||
procedure(inner_int) :: p | ||
end subroutine used_int | ||
|
||
pure logical function unused_int(i) | ||
implicit none | ||
integer, intent(in) :: i | ||
end function unused_int | ||
end interface | ||
procedure(used_int), pointer :: f | ||
|
||
f => null() | ||
contains | ||
subroutine internal() | ||
end subroutine internal | ||
end function f | ||
end module m | ||
|
||
!Expect: m.mod | ||
!module m | ||
!contains | ||
!function f(x) | ||
!real(4),intent(in)::x | ||
!procedure(used_int),pointer::f | ||
!abstract interface | ||
!subroutine used_int(x,p) | ||
!real(4),intent(out)::x | ||
!procedure(inner_int)::p | ||
!interface | ||
!subroutine inner_int(x) | ||
!real(4),intent(out)::x | ||
!end | ||
!end interface | ||
!end | ||
!end interface | ||
!end | ||
!end |