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
|
! { dg-do run }
!
! PR fortran/47775
!
! Contributed by Fran Martinez Fadrique
!
! Before, a temporary was missing for generic procedured (cf. test())
! as the allocatable attribute was ignored for the check whether a
! temporary is required
!
module m
type t
contains
procedure, NOPASS :: foo => foo
generic :: gen => foo
end type t
contains
function foo(i)
integer, allocatable :: foo(:)
integer :: i
allocate(foo(2))
foo(1) = i
foo(2) = i + 10
end function foo
end module m
use m
type(t) :: x
integer, pointer :: ptr1, ptr2
integer, target :: bar1(2)
integer, target, allocatable :: bar2(:)
allocate(bar2(2))
ptr1 => bar1(2)
ptr2 => bar2(2)
bar1 = x%gen(1)
if (ptr1 /= 11) call abort()
bar1 = x%foo(2)
if (ptr1 /= 12) call abort()
bar2 = x%gen(3)
if (ptr2 /= 13) call abort()
bar2 = x%foo(4)
if (ptr2 /= 14) call abort()
bar2(:) = x%gen(5)
if (ptr2 /= 15) call abort()
bar2(:) = x%foo(6)
if (ptr2 /= 16) call abort()
call test()
end
subroutine test
interface gen
procedure foo
end interface gen
integer, target :: bar(2)
integer, pointer :: ptr
bar = [1,2]
ptr => bar(2)
if (ptr /= 2) call abort()
bar = gen()
if (ptr /= 77) call abort()
contains
function foo() ! { dg-warning "Extension: Internal procedure .foo. in generic interface" }
integer, allocatable :: foo(:)
allocate(foo(2))
foo = [33, 77]
end function foo
end subroutine test
! { dg-final { cleanup-modules "m" } }
|
