blob: 6d5be0247c9623288957300e25e3b74f465054a3 [file] [log] [blame]
! { dg-do run }
! { dg-additional-options "-fdump-tree-original" }
!
! PR fortran/92587
!
module m
implicit none (type, external)
type t2
contains
final :: fini
end type
type t3
type(t2) :: a
end type
type, extends(t3) :: t4
end type
class(t4), allocatable :: y
class(t4), allocatable :: z
integer :: fini_cnt = 0
contains
subroutine sub
y = z
end
subroutine fini(x)
type(t2) :: x
fini_cnt = fini_cnt + 1
end
end
module m2
use m
implicit none (type, external)
type, extends(t3) :: t5
end type
type, extends(t3) :: t6
contains
final :: fin2
end type
integer :: fin2_cnt = 0
contains
subroutine bar(x, y, z)
class(t4), allocatable, intent(out) :: x
class(t5), allocatable, intent(out) :: y
class(t6), allocatable, intent(out) :: z
end
subroutine fin2 (x)
type(t6) :: x
fin2_cnt = fin2_cnt + 1
end
end
use m
use m2
implicit none (type, external)
class(t4), allocatable :: x2
class(t5), allocatable :: y2
class(t6), allocatable :: z2
if (fini_cnt /= 0 .or. fin2_cnt /= 0) stop 1
call bar (x2, y2, z2)
if (fini_cnt /= 0 .or. fin2_cnt /= 0) stop 2
if (allocated(x2) .or. allocated(y2) .or. allocated(z2)) stop 3
allocate(t4 :: x2)
allocate(t5 :: y2)
allocate(t6 :: z2)
call bar (x2, y2, z2)
if (fini_cnt /= 3 .or. fin2_cnt /= 1) stop 4
if (allocated(x2) .or. allocated(y2) .or. allocated(z2)) stop 5
allocate(t6 :: z2)
call bar (x2, y2, z2)
if (fini_cnt /= 4 .or. fin2_cnt /= 2) stop 6
if (allocated(x2) .or. allocated(y2) .or. allocated(z2)) stop 7
end
! { dg-final { scan-tree-dump "__final_m_T2 \\\(struct" "original" } }
! { dg-final { scan-tree-dump "__final_m_T3 \\\(struct" "original" } }
! { dg-final { scan-tree-dump "__final_m2_T6 \\\(struct" "original" } }