Subversion Repositories openrisc

! { dg-do compile }

!

! ALLOCATE statements with derived type specification

!

! Contributed by Janus Weil 

 type :: t1

  integer :: i

 end type

 type, extends(t1) :: t2

  real :: r

 end type

 type, extends(t2) :: t3

  real :: q

 end type

 type, abstract :: u0

  logical :: nothing

 end type

 type :: v1

  real :: r

 end type

! FIXME: uncomment and dejagnuify the lines below once class arrays are enabled

!  class(t1),dimension(:),allocatable :: x

 type(t2),dimension(:),allocatable :: y

!  class(t3),dimension(:),allocatable :: z

!  allocate(      x(1))

!  allocate(t1 :: x(2))

!  allocate(t2 :: x(3))

!  allocate(t3 :: x(4))

!  allocate(tx :: x(5))  ! { "Error in type-spec at" }

!  allocate(u0 :: x(6))  ! { "may not be ABSTRACT" }

!  allocate(v1 :: x(7))  ! { "is type incompatible with typespec" }

 allocate(      y(1))

 allocate(t1 :: y(2))  ! { dg-error "is type incompatible with typespec" }

 allocate(t2 :: y(3))

 allocate(t3 :: y(3))  ! { dg-error "is type incompatible with typespec" }

!  allocate(      z(1))

!  allocate(t1 :: z(2))  ! { "is type incompatible with typespec" }

!  allocate(t2 :: z(3))  ! { "is type incompatible with typespec" }

!  allocate(t3 :: z(4))

end