blob: c47e63049986fed07f166a9f8f2988595d5be91b [file] [log] [blame]
! { dg-do run }
! { dg-options "-fcheck=bounds" }
! { dg-shouldfail "Array bounds mismatch" }
!
! Test that pr72832 is fixed now.
! Contributed by Daan van Vugt
program allocate_source
type :: t
integer :: i
end type t
type, extends(t) :: tt
end type tt
call test_type()
call test_class_correct()
call test_class_fail()
contains
subroutine test_class_correct()
class(t), allocatable, dimension(:) :: a, b
allocate(tt::a(1:2))
a(:)%i = [ 1,2 ]
if (size(a) /= 2) STOP 1
if (any(a(:)%i /= [ 1,2])) STOP 2
allocate(b(1:4), source=a(1))
if (size(b) /= 4) STOP 3
if (any(b(:)%i /= [ 1,1,1,1])) STOP 4
select type (b1 => b(1))
class is (tt)
continue
class default
STOP 5
end select
end subroutine
subroutine test_class_fail()
class(t), allocatable, dimension(:) :: a, b
allocate(tt::a(1:2))
a(:)%i = [ 1,2 ]
if (size(a) /= 2) STOP 6
if (any(a(:)%i /= [ 1,2])) STOP 7
allocate(b(1:4), source=a) ! Fail expected: sizes do not conform
if (size(b) /= 4) STOP 8
if (any(b(1:2)%i /= [ 1,2])) STOP 9
select type (b1 => b(1))
class is (tt)
continue
class default
STOP 10
end select
end subroutine
subroutine test_type()
type(t), allocatable, dimension(:) :: a, b
allocate(a(1:2))
if (size(a) /= 2) STOP 11
allocate(b(1:4), source=a)
if (size(b) /= 4) STOP 12
end subroutine
end program allocate_source