summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gfortran.dg/allocate_derived_1.f90
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/gfortran.dg/allocate_derived_1.f90')
-rw-r--r--gcc/testsuite/gfortran.dg/allocate_derived_1.f9051
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
+