summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gfortran.dg/dynamic_dispatch_8.f03
blob: 4f3d8069b433764be2035a00bc25a216c174d429 (plain)
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
! { dg-do run }
!
! PR 41829: [OOP] Runtime error with dynamic dispatching.  Tests
! dynamic dispatch in a case where the caller knows nothing about
! the dynamic type at compile time.
!
! Contributed by Salvatore Filippone <sfilippone@uniroma2.it>
!
module foo_mod
  type foo
    integer :: i 
  contains
    procedure, pass(a) :: doit
    procedure, pass(a) :: getit
  end type foo

  private doit,getit
contains
  subroutine  doit(a) 
    class(foo) :: a
    
    a%i = 1
!    write(*,*) 'FOO%DOIT base version'
  end subroutine doit
  function getit(a) result(res)
    class(foo) :: a
    integer :: res

    res = a%i
  end function getit

end module foo_mod
module foo2_mod
  use foo_mod

  type, extends(foo) :: foo2
    integer :: j
  contains
    procedure, pass(a) :: doit  => doit2
    procedure, pass(a) :: getit => getit2
  end type foo2
  
  private doit2, getit2

contains

  subroutine  doit2(a) 
    class(foo2) :: a
    
    a%i = 2
    a%j = 3
!    write(*,*) 'FOO2%DOIT derived version'
  end subroutine doit2
  function getit2(a) result(res)
    class(foo2) :: a
    integer :: res

    res = a%j
  end function getit2
    
end module foo2_mod

module bar_mod 
  use foo_mod
  type bar 
    class(foo), allocatable :: a
  contains 
    procedure, pass(a) :: doit
    procedure, pass(a) :: getit
  end type bar
  private doit,getit
  
contains
  subroutine doit(a)
    class(bar) :: a
    
    call a%a%doit()
  end subroutine doit
  function getit(a) result(res)
    class(bar) :: a
    integer :: res

    res = a%a%getit()
  end function getit
end module bar_mod


program testd10
  use foo_mod
  use foo2_mod
  use bar_mod
  
  type(bar) :: a

  allocate(foo :: a%a)
  call a%doit()
!  write(*,*) 'Getit value : ', a%getit()
  if (a%getit() .ne. 1) call abort
  deallocate(a%a)
  allocate(foo2 :: a%a)
  call a%doit()
!  write(*,*) 'Getit value : ', a%getit()
  if (a%getit() .ne. 3) call abort

end program testd10

! { dg-final { cleanup-modules "foo_mod foo2_mod bar_mod" } }