mirror of
https://github.com/intel/llvm.git
synced 2026-01-26 03:56:16 +08:00
0d58834700
When a scope declares the name and perhaps some characteristics of an external subprogram using any of the many means that Fortran supplies for doing such a thing, and that external subprogram's definition is available, check the local declaration against the external definition. In particular, if the global definition's interface cannot be called by means of an implicit interface, ensure that references are via an explicit and compatible interface. Further, extend call site checking so that when a local declaration exists for a known global symbol and the arguments are valid for that local declaration, the arguments are checked against the global's interface, just are is already done when no local declaration exists. Differential Revision: https://reviews.llvm.org/D139042
109 lines
2.6 KiB
Fortran
109 lines
2.6 KiB
Fortran
! RUN: %python %S/test_errors.py %s %flang_fc1
|
|
|
|
! Tests for circularly defined procedures
|
|
!ERROR: Procedure 'sub' is recursively defined. Procedures in the cycle: 'sub', 'p2'
|
|
subroutine sub(p2)
|
|
PROCEDURE(sub) :: p2
|
|
|
|
call sub()
|
|
end subroutine
|
|
|
|
subroutine circular
|
|
!ERROR: Procedure 'p' is recursively defined. Procedures in the cycle: 'p', 'sub', 'p2'
|
|
procedure(sub) :: p
|
|
|
|
call p(sub)
|
|
|
|
contains
|
|
subroutine sub(p2)
|
|
procedure(p) :: p2
|
|
end subroutine
|
|
end subroutine circular
|
|
|
|
!ERROR: Procedure 'foo' is recursively defined. Procedures in the cycle: 'foo', 'r'
|
|
function foo() result(r)
|
|
!ERROR: Procedure 'r' is recursively defined. Procedures in the cycle: 'foo', 'r'
|
|
procedure(foo), pointer :: r
|
|
end function foo
|
|
|
|
subroutine iface
|
|
!ERROR: Procedure 'p' is recursively defined. Procedures in the cycle: 'p', 'sub', 'p2'
|
|
procedure(sub) :: p
|
|
interface
|
|
!ERROR: Procedure 'sub' is recursively defined. Procedures in the cycle: 'p', 'sub', 'p2'
|
|
subroutine sub(p2)
|
|
import p
|
|
procedure(p) :: p2
|
|
end subroutine
|
|
end interface
|
|
call p(sub)
|
|
end subroutine
|
|
|
|
subroutine mutual
|
|
Procedure(sub1) :: p
|
|
|
|
Call p(sub)
|
|
|
|
contains
|
|
!ERROR: Procedure 'sub1' is recursively defined. Procedures in the cycle: 'p', 'sub1', 'arg'
|
|
Subroutine sub1(arg)
|
|
procedure(sub1) :: arg
|
|
End Subroutine
|
|
|
|
Subroutine sub(p2)
|
|
Procedure(sub1) :: p2
|
|
End Subroutine
|
|
End subroutine
|
|
|
|
subroutine mutual1
|
|
Procedure(sub1) :: p
|
|
|
|
Call p(sub)
|
|
|
|
contains
|
|
!ERROR: Procedure 'sub1' is recursively defined. Procedures in the cycle: 'p', 'sub1', 'arg', 'sub', 'p2'
|
|
Subroutine sub1(arg)
|
|
procedure(sub) :: arg
|
|
End Subroutine
|
|
|
|
Subroutine sub(p2)
|
|
Procedure(sub1) :: p2
|
|
End Subroutine
|
|
End subroutine
|
|
|
|
subroutine twoCycle
|
|
!ERROR: The interface for procedure 'p1' is recursively defined
|
|
!ERROR: The interface for procedure 'p2' is recursively defined
|
|
procedure(p1) p2
|
|
procedure(p2) p1
|
|
call p1
|
|
call p2
|
|
end subroutine
|
|
|
|
subroutine threeCycle
|
|
!ERROR: The interface for procedure 'p1' is recursively defined
|
|
!ERROR: The interface for procedure 'p2' is recursively defined
|
|
procedure(p1) p2
|
|
!ERROR: The interface for procedure 'p3' is recursively defined
|
|
procedure(p2) p3
|
|
procedure(p3) p1
|
|
call p1
|
|
call p2
|
|
call p3
|
|
end subroutine
|
|
|
|
module mutualSpecExprs
|
|
contains
|
|
pure integer function f(n)
|
|
integer, intent(in) :: n
|
|
real arr(g(n))
|
|
f = size(arr)
|
|
end function
|
|
pure integer function g(n)
|
|
integer, intent(in) :: n
|
|
!ERROR: Procedure 'f' is referenced before being sufficiently defined in a context where it must be so
|
|
real arr(f(n))
|
|
g = size(arr)
|
|
end function
|
|
end
|