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
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
|
! RUN: %S/test_errors.sh %s %t %f18
! Test 15.5.2.5 constraints and restrictions for POINTER & ALLOCATABLE
! arguments when both sides of the call have the same attributes.
module m
type :: t
end type
type, extends(t) :: t2
end type
type :: pdt(n)
integer, len :: n
end type
type(t), pointer :: mp(:), mpmat(:,:)
type(t), allocatable :: ma(:), mamat(:,:)
class(t), pointer :: pp(:)
class(t), allocatable :: pa(:)
class(t2), pointer :: pp2(:)
class(t2), allocatable :: pa2(:)
class(*), pointer :: up(:)
class(*), allocatable :: ua(:)
!ERROR: An assumed (*) type parameter may be used only for a (non-statement function) dummy argument, associate name, named constant, or external function result
type(pdt(*)), pointer :: amp(:)
!ERROR: An assumed (*) type parameter may be used only for a (non-statement function) dummy argument, associate name, named constant, or external function result
type(pdt(*)), allocatable :: ama(:)
type(pdt(:)), pointer :: dmp(:)
type(pdt(:)), allocatable :: dma(:)
type(pdt(1)), pointer :: nmp(:)
type(pdt(1)), allocatable :: nma(:)
contains
subroutine smp(x)
type(t), pointer :: x(:)
end subroutine
subroutine sma(x)
type(t), allocatable :: x(:)
end subroutine
subroutine spp(x)
class(t), pointer :: x(:)
end subroutine
subroutine spa(x)
class(t), allocatable :: x(:)
end subroutine
subroutine sup(x)
class(*), pointer :: x(:)
end subroutine
subroutine sua(x)
class(*), allocatable :: x(:)
end subroutine
subroutine samp(x)
type(pdt(*)), pointer :: x(:)
end subroutine
subroutine sama(x)
type(pdt(*)), allocatable :: x(:)
end subroutine
subroutine sdmp(x)
type(pdt(:)), pointer :: x(:)
end subroutine
subroutine sdma(x)
type(pdt(:)), allocatable :: x(:)
end subroutine
subroutine snmp(x)
type(pdt(1)), pointer :: x(:)
end subroutine
subroutine snma(x)
type(pdt(1)), allocatable :: x(:)
end subroutine
subroutine test
call smp(mp) ! ok
call sma(ma) ! ok
call spp(pp) ! ok
call spa(pa) ! ok
!ERROR: If a POINTER or ALLOCATABLE dummy or actual argument is polymorphic, both must be so
call smp(pp)
!ERROR: If a POINTER or ALLOCATABLE dummy or actual argument is polymorphic, both must be so
call sma(pa)
!ERROR: If a POINTER or ALLOCATABLE dummy or actual argument is polymorphic, both must be so
call spp(mp)
!ERROR: If a POINTER or ALLOCATABLE dummy or actual argument is polymorphic, both must be so
call spa(ma)
!ERROR: If a POINTER or ALLOCATABLE dummy or actual argument is unlimited polymorphic, both must be so
call sup(pp)
!ERROR: If a POINTER or ALLOCATABLE dummy or actual argument is unlimited polymorphic, both must be so
call sua(pa)
!ERROR: Actual argument type 'CLASS(*)' is not compatible with dummy argument type 't'
call spp(up)
!ERROR: Actual argument type 'CLASS(*)' is not compatible with dummy argument type 't'
call spa(ua)
!ERROR: POINTER or ALLOCATABLE dummy and actual arguments must have the same declared type
call spp(pp2)
!ERROR: POINTER or ALLOCATABLE dummy and actual arguments must have the same declared type
call spa(pa2)
!ERROR: Rank of dummy argument is 1, but actual argument has rank 2
call smp(mpmat)
!ERROR: Rank of dummy argument is 1, but actual argument has rank 2
call sma(mamat)
call sdmp(dmp) ! ok
call sdma(dma) ! ok
call snmp(nmp) ! ok
call snma(nma) ! ok
call samp(nmp) ! ok
call sama(nma) ! ok
!ERROR: Dummy and actual arguments must defer the same type parameters when POINTER or ALLOCATABLE
call sdmp(nmp)
!ERROR: Dummy and actual arguments must defer the same type parameters when POINTER or ALLOCATABLE
call sdma(nma)
!ERROR: Dummy and actual arguments must defer the same type parameters when POINTER or ALLOCATABLE
call snmp(dmp)
!ERROR: Dummy and actual arguments must defer the same type parameters when POINTER or ALLOCATABLE
call snma(dma)
!ERROR: Dummy and actual arguments must defer the same type parameters when POINTER or ALLOCATABLE
call samp(dmp)
!ERROR: Dummy and actual arguments must defer the same type parameters when POINTER or ALLOCATABLE
call sama(dma)
end subroutine
end module
|
