! { dg-do compile }
!
! ALLOCATE statements with derived type specification
!
! Contributed by Janus Weil <janus@gcc.gnu.org>

 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

 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))  ! { dg-error "Error in type-spec at" }
 allocate(u0 :: x(6))  ! { dg-error "may not be ABSTRACT" }
 allocate(v1 :: x(7))  ! { dg-error "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))  ! { dg-error "is type incompatible with typespec" }
 allocate(t2 :: z(3))  ! { dg-error "is type incompatible with typespec" }
 allocate(t3 :: z(4))

end