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
|
! { dg-do compile }
!
! PR fortran/43591
!
! Pureness check for TPB/PPC in specification expressions
!
! Based on a test case of Thorsten Ohl
!
!
module m
implicit none
type t
procedure(p1_type), nopass, pointer :: p1 => NULL()
contains
procedure, nopass :: tbp => p1_type
end type t
contains
subroutine proc (t1, t2)
type(t), intent(in) :: t1, t2
integer, dimension(t1%p1(), t2%tbp()) :: table
end subroutine proc
pure function p1_type()
integer :: p1_type
p1_type = 42
end function p1_type
pure subroutine p(t1)
type(t), intent(inout) :: t1
integer :: a(t1%p1())
end subroutine p
end module m
module m2
implicit none
type t
procedure(p1_type), nopass, pointer :: p1 => NULL()
contains
procedure, nopass :: tbp => p1_type
end type t
contains
subroutine proc (t1, t2)
type(t), intent(in) :: t1, t2
integer, dimension(t1%p1()) :: table1 ! { dg-error "must be PURE" }
integer, dimension(t2%tbp()) :: table2 ! { dg-error "must be PURE" }
end subroutine proc
function p1_type()
integer :: p1_type
p1_type = 42
end function p1_type
end module m2
! { dg-final { cleanup-modules "m m2" } }
|
