blob: df05f27a4cfc4c64e67e360053b5b905ca3cd167 [file] [log] [blame]
! { dg-do run }
! { dg-options "-fdump-tree-original" }
! Test constructors of derived type with allocatable components (PR 20541).
!
! Contributed by Erik Edelmann <eedelmann@gcc.gnu.org>
! and Paul Thomas <pault@gcc.gnu.org>
!
Program test_constructor
implicit none
type :: thytype
integer(4) :: a(2,2)
end type thytype
type :: mytype
integer(4), allocatable :: a(:, :)
type(thytype), allocatable :: q(:)
end type mytype
type (thytype) :: foo = thytype(reshape ([43, 100, 54, 76], [2,2]))
integer :: y(0:1, -1:0) = reshape ([42, 99, 55, 77], [2,2])
BLOCK ! Add scoping unit as the vars are otherwise implicitly SAVEd
type (mytype) :: x
integer, allocatable :: yy(:,:)
type (thytype), allocatable :: bar(:)
integer :: i
! Check that null() works
x = mytype(null(), null())
if (allocated(x%a) .or. allocated(x%q)) STOP 1
! Check that unallocated allocatables work
x = mytype(yy, bar)
if (allocated(x%a) .or. allocated(x%q)) STOP 2
! Check that non-allocatables work
x = mytype(y, [foo, foo])
if (.not.allocated(x%a) .or. .not.allocated(x%q)) STOP 3
if (any(lbound(x%a) /= lbound(y))) STOP 4
if (any(ubound(x%a) /= ubound(y))) STOP 5
if (any(x%a /= y)) STOP 6
if (size(x%q) /= 2) STOP 7
do i = 1, 2
if (any(x%q(i)%a /= foo%a)) STOP 8
end do
! Check that allocated allocatables work
allocate(yy(size(y,1), size(y,2)))
yy = y
allocate(bar(2))
bar = [foo, foo]
x = mytype(yy, bar)
if (.not.allocated(x%a) .or. .not.allocated(x%q)) STOP 9
if (any(x%a /= y)) STOP 10
if (size(x%q) /= 2) STOP 11
do i = 1, 2
if (any(x%q(i)%a /= foo%a)) STOP 12
end do
! Functions returning arrays
x = mytype(bluhu(), null())
if (.not.allocated(x%a) .or. allocated(x%q)) STOP 13
if (any(x%a /= reshape ([41, 98, 54, 76], [2,2]))) STOP 14
! Functions returning allocatable arrays
x = mytype(blaha(), null())
if (.not.allocated(x%a) .or. allocated(x%q)) STOP 15
if (any(x%a /= reshape ([40, 97, 53, 75], [2,2]))) STOP 16
! Check that passing the constructor to a procedure works
call check_mytype (mytype(y, [foo, foo]))
END BLOCK
contains
subroutine check_mytype(x)
type(mytype), intent(in) :: x
integer :: i
if (.not.allocated(x%a) .or. .not.allocated(x%q)) STOP 17
if (any(lbound(x%a) /= lbound(y))) STOP 18
if (any(ubound(x%a) /= ubound(y))) STOP 19
if (any(x%a /= y)) STOP 20
if (size(x%q) /= 2) STOP 21
do i = 1, 2
if (any(x%q(i)%a /= foo%a)) STOP 22
end do
end subroutine check_mytype
function bluhu()
integer :: bluhu(2,2)
bluhu = reshape ([41, 98, 54, 76], [2,2])
end function bluhu
function blaha()
integer, allocatable :: blaha(:,:)
allocate(blaha(2,2))
blaha = reshape ([40, 97, 53, 75], [2,2])
end function blaha
end program test_constructor
! { dg-final { scan-tree-dump-times "builtin_free" 19 "original" } }