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
|
! { dg-do run }
!
! Verifying the runtime behavior of the intrinsic function EXTENDS_TYPE_OF.
!
! Contributed by Janus Weil <janus@gcc.gnu.org>
implicit none
intrinsic :: extends_type_of
type :: t1
integer :: i = 42
end type
type, extends(t1) :: t2
integer :: j = 43
end type
type, extends(t2) :: t3
class(t1),pointer :: cc
end type
class(t1), pointer :: c1,c2
type(t1), target :: x
type(t2), target :: y
type(t3), target :: z
c1 => x
c2 => y
z%cc => y
if (.not. extends_type_of (c1, c1)) call abort()
if ( extends_type_of (c1, c2)) call abort()
if (.not. extends_type_of (c2, c1)) call abort()
if (.not. extends_type_of (x, x)) call abort()
if ( extends_type_of (x, y)) call abort()
if (.not. extends_type_of (y, x)) call abort()
if (.not. extends_type_of (c1, x)) call abort()
if ( extends_type_of (c1, y)) call abort()
if (.not. extends_type_of (x, c1)) call abort()
if (.not. extends_type_of (y, c1)) call abort()
if (.not. extends_type_of (z, c1)) call abort()
if ( extends_type_of (z%cc, z)) call abort()
end
|
