* builtin-types.def (BT_FN_PTR_PTR_SIZE): New type.

[thirdparty/gcc.git] / gcc / testsuite / gfortran.dg / alloc_comp_constructor_1.f90

! { dg-do run }\r
! { dg-options "-fdump-tree-original" }\r
! Test constructors of derived type with allocatable components (PR 20541).\r
!\r
! Contributed by Erik Edelmann  <eedelmann@gcc.gnu.org>\r
!            and Paul Thomas  <pault@gcc.gnu.org>\r
!\r
\r
Program test_constructor\r
\r
    implicit none\r
\r
    type :: thytype\r
        integer(4) :: a(2,2)\r
    end type thytype\r
\r
    type :: mytype\r
        integer(4), allocatable :: a(:, :)\r
        type(thytype), allocatable :: q(:)\r
    end type mytype\r
\r
    type (mytype) :: x\r
    type (thytype) :: foo = thytype(reshape ([43, 100, 54, 76], [2,2]))\r
    integer :: y(0:1, -1:0) = reshape ([42, 99, 55, 77], [2,2])\r
    integer, allocatable :: yy(:,:)\r
    type (thytype), allocatable :: bar(:)\r
    integer :: i\r
\r
    ! Check that null() works\r
    x = mytype(null(), null())\r
    if (allocated(x%a) .or. allocated(x%q)) call abort()\r
\r
    ! Check that unallocated allocatables work\r
    x = mytype(yy, bar)\r
    if (allocated(x%a) .or. allocated(x%q)) call abort()\r
\r
    ! Check that non-allocatables work\r
    x = mytype(y, [foo, foo])\r
    if (.not.allocated(x%a) .or. .not.allocated(x%q)) call abort()\r
    if (any(lbound(x%a) /= lbound(y))) call abort()\r
    if (any(ubound(x%a) /= ubound(y))) call abort()\r
    if (any(x%a /= y)) call abort()\r
    if (size(x%q) /= 2) call abort()\r
    do i = 1, 2\r
        if (any(x%q(i)%a /= foo%a)) call abort()\r
    end do\r
\r
    ! Check that allocated allocatables work\r
    allocate(yy(size(y,1), size(y,2)))\r
    yy = y\r
    allocate(bar(2))\r
    bar = [foo, foo]\r
    x = mytype(yy, bar)\r
    if (.not.allocated(x%a) .or. .not.allocated(x%q)) call abort()\r
    if (any(x%a /= y)) call abort()\r
    if (size(x%q) /= 2) call abort()\r
    do i = 1, 2\r
        if (any(x%q(i)%a /= foo%a)) call abort()\r
    end do\r
\r
    ! Functions returning arrays\r
    x = mytype(bluhu(), null())\r
    if (.not.allocated(x%a) .or. allocated(x%q)) call abort()\r
    if (any(x%a /= reshape ([41, 98, 54, 76], [2,2]))) call abort()\r
\r
    ! Functions returning allocatable arrays\r
    x = mytype(blaha(), null())\r
    if (.not.allocated(x%a) .or. allocated(x%q)) call abort()\r
    if (any(x%a /= reshape ([40, 97, 53, 75], [2,2]))) call abort()\r
\r
    ! Check that passing the constructor to a procedure works\r
    call check_mytype (mytype(y, [foo, foo]))\r
\r
contains\r
\r
    subroutine check_mytype(x)\r
        type(mytype), intent(in) :: x\r
        integer :: i\r
\r
        if (.not.allocated(x%a) .or. .not.allocated(x%q)) call abort()\r
        if (any(lbound(x%a) /= lbound(y))) call abort()\r
        if (any(ubound(x%a) /= ubound(y))) call abort()\r
        if (any(x%a /= y)) call abort()\r
        if (size(x%q) /= 2) call abort()\r
        do i = 1, 2\r
            if (any(x%q(i)%a /= foo%a)) call abort()\r
        end do\r
\r
    end subroutine check_mytype\r
\r
\r
    function bluhu()\r
        integer :: bluhu(2,2)\r
\r
        bluhu = reshape ([41, 98, 54, 76], [2,2])\r
    end function bluhu\r
\r
\r
    function blaha()\r
        integer, allocatable :: blaha(:,:)\r
\r
        allocate(blaha(2,2))\r
        blaha = reshape ([40, 97, 53, 75], [2,2])\r
    end function blaha\r
\r
end program test_constructor\r
! { dg-final { scan-tree-dump-times "builtin_free" 19 "original" } }\r
! { dg-final { cleanup-tree-dump "original" } }\r