1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
! RUN: %S/test_errors.sh %s %t %f18
! Tests valid and invalid usage of forward references to procedures
! in specification expressions.
module m
interface ifn2
module procedure if2
end interface
interface ifn3
module procedure if3
end interface
!ERROR: Specification expression must be constant in declaration of 'a' with the SAVE attribute
real :: a(if1(1))
!ERROR: No specific procedure of generic 'ifn2' matches the actual arguments
real :: b(ifn2(1))
contains
subroutine t1(n)
integer :: iarr(if1(n))
end subroutine
pure integer function if1(n)
integer, intent(in) :: n
if1 = n
end function
subroutine t2(n)
integer :: iarr(ifn3(n)) ! should resolve to if3
end subroutine
pure integer function if2(n)
integer, intent(in) :: n
if2 = n
end function
pure integer function if3(n)
integer, intent(in) :: n
if3 = n
end function
end module
subroutine nester
!ERROR: The internal function 'if1' may not be referenced in a specification expression
real :: a(if1(1))
contains
subroutine t1(n)
!ERROR: The internal function 'if2' may not be referenced in a specification expression
integer :: iarr(if2(n))
end subroutine
pure integer function if1(n)
integer, intent(in) :: n
if1 = n
end function
pure integer function if2(n)
integer, intent(in) :: n
if2 = n
end function
end subroutine
|
