blob: f9ac08086d91a8391ba4e19b19136c9048e20fa7 [file] [log] [blame]
! { 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)) STOP 1
if ( extends_type_of (c1, c2)) STOP 2
if (.not. extends_type_of (c2, c1)) STOP 3
if (.not. extends_type_of (x, x)) STOP 4
if ( extends_type_of (x, y)) STOP 5
if (.not. extends_type_of (y, x)) STOP 6
if (.not. extends_type_of (c1, x)) STOP 7
if ( extends_type_of (c1, y)) STOP 8
if (.not. extends_type_of (x, c1)) STOP 9
if (.not. extends_type_of (y, c1)) STOP 10
if (.not. extends_type_of (z, c1)) STOP 11
if ( extends_type_of (z%cc, z)) STOP 12
end