1 files changed, 51 insertions, 0 deletions
diff --git a/gcc/testsuite/gfortran.dg/allocate_derived_1.f90 b/gcc/testsuite/gfortran.dg/allocate_derived_1.f90
new file mode 100644
index 000000000..648012431
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/allocate_derived_1.f90
@@ -0,0 +1,51 @@
+! { 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
+
+! 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
+