1 files changed, 77 insertions, 0 deletions
diff --git a/gcc/testsuite/gfortran.dg/coarray_12.f90 b/gcc/testsuite/gfortran.dg/coarray_12.f90
new file mode 100644
index 000000000..c1b734212
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/coarray_12.f90
@@ -0,0 +1,77 @@
+! { dg-do compile }
+! { dg-options "-fcoarray=single -fdump-tree-original" }
+!
+! Coarray support -- allocatable array coarrays
+! PR fortran/18918
+!
+integer,allocatable :: a(:)[:,:]
+nn = 5
+mm = 7
+allocate(a(nn)[mm,*])
+end
+
+subroutine testAlloc3
+  implicit none
+  integer, allocatable :: ab(:,:,:)[:,:]
+  integer, allocatable, dimension(:),codimension[:] :: b(:,:,:)[:,:]
+  integer, allocatable, dimension(:,:),codimension[:,:,:] :: c
+  integer, allocatable, dimension(:,:),codimension[:,:,:] :: d[:,:]
+  integer, allocatable, dimension(:,:,:),codimension[:,:,:] :: e(:,:)
+  integer, allocatable, dimension(:,:,:),codimension[:,:,:] :: f(:,:)[:,:]
+
+  allocate(ab(1,2,3)[4,*])
+  allocate(b(1,2,3)[4,*])
+  allocate(c(1,2)[3,4,*])
+  allocate(d(1,2)[3,*])
+  allocate(e(1,2)[3,4,*])
+  allocate(f(1,2)[3,*])
+end subroutine testAlloc3
+
+subroutine testAlloc4()
+  implicit none
+  integer, allocatable :: xxx(:)[:,:,:,:]
+  integer :: mmm
+  mmm=88
+  allocate(xxx(1)[7,-5:8,mmm:2,*])
+end subroutine testAlloc4
+
+subroutine testAlloc5()
+  implicit none
+  integer, allocatable :: yyy(:)[:,:,:,:]
+  integer :: ooo, ppp
+  ooo=88
+  ppp=42
+  allocate(yyy(1)[7,-5:ppp,1,ooo:*])
+end subroutine testAlloc5
+
+
+! { dg-final { scan-tree-dump-times "a.dim.0..lbound = 1;"     1 "original" } }
+! { dg-final { scan-tree-dump-times "a.dim.0..ubound = .*nn;" 1 "original" } }
+! { dg-final { scan-tree-dump-times "a.dim.1..lbound = 1;"     1 "original" } }
+! { dg-final { scan-tree-dump-times "a.dim.1..ubound = .*mm;" 1 "original" } }
+! { dg-final { scan-tree-dump-times "a.dim.2..lbound = 1;"     1 "original" } }
+! { dg-final { scan-tree-dump-times "a.dim.2..ubound"          0 "original" } }
+
+! { dg-final { scan-tree-dump-times "xxx.dim.0..lbound = 1;"     1 "original" } }
+! { dg-final { scan-tree-dump-times "xxx.dim.0..ubound = 1;"     1 "original" } }
+! { dg-final { scan-tree-dump-times "xxx.dim.1..lbound = 1;"     1 "original" } }
+! { dg-final { scan-tree-dump-times "xxx.dim.1..ubound = 7;"     1 "original" } }
+! { dg-final { scan-tree-dump-times "xxx.dim.2..lbound = -5;"    1 "original" } }
+! { dg-final { scan-tree-dump-times "xxx.dim.2..ubound = 8;"     1 "original" } }
+! { dg-final { scan-tree-dump-times "xxx.dim.3..lbound = .*mmm;" 1 "original" } }
+! { dg-final { scan-tree-dump-times "xxx.dim.3..ubound = 2;"     1 "original" } }
+! { dg-final { scan-tree-dump-times "xxx.dim.4..lbound = 1;"     1 "original" } }
+! { dg-final { scan-tree-dump-times "xxx.dim.4..ubound"          0 "original" } }
+
+! { dg-final { scan-tree-dump-times "yyy.dim.0..lbound = 1;"     1 "original" } }
+! { dg-final { scan-tree-dump-times "yyy.dim.0..ubound = 1;"     1 "original" } }
+! { dg-final { scan-tree-dump-times "yyy.dim.1..lbound = 1;"     1 "original" } }
+! { dg-final { scan-tree-dump-times "yyy.dim.1..ubound = 7;"     1 "original" } }
+! { dg-final { scan-tree-dump-times "yyy.dim.2..lbound = -5;"    1 "original" } }
+! { dg-final { scan-tree-dump-times "yyy.dim.2..ubound = .*ppp;" 1 "original" } }
+! { dg-final { scan-tree-dump-times "yyy.dim.3..lbound = 1;"     1 "original" } }
+! { dg-final { scan-tree-dump-times "yyy.dim.3..ubound = 1;"     1 "original" } }
+! { dg-final { scan-tree-dump-times "yyy.dim.4..lbound = .*ooo;" 1 "original" } }
+! { dg-final { scan-tree-dump-times "yyy.dim.4..ubound"          0 "original" } }
+
+! { dg-final { cleanup-tree-dump "original" } }