--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/gfortran.dg/coarray_12.f90	Fri Oct 27 22:46:09 2017 +0900
@@ -0,0 +1,76 @@
+! { 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" } }
+