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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
! RUN: %python %S/test_errors.py %s %flang_fc1 -pedantic
! 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: Automatic data object 'a' may not appear in a module
real :: a(if1(1))
!ERROR: Automatic data object 'b' may not appear in a module
real :: b(ifn2(1))
!ERROR: Automatic data object 'c' may not appear in COMMON block /blk/
real :: c(if1(1))
!ERROR: Automatic data object 'd' may not appear in COMMON block //
real :: d(ifn2(1))
common /blk/c
common d
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
block data
common /blk2/ n
data n/100/
!PORTABILITY: specification expression refers to local object 'n' (initialized and saved)
!ERROR: Automatic data object 'a' may not appear in a BLOCK DATA subprogram
real a(n)
end
program main
common /blk2/ n
!PORTABILITY: Automatic data object 'a' should not appear in the specification part of a main program
real a(n)
end
|
