| 1 |
694 |
jeremybenn |
! { dg-do compile }
|
| 2 |
|
|
! { dg-options "-fcoarray=single" }
|
| 3 |
|
|
!
|
| 4 |
|
|
! Coarray support -- corank declarations
|
| 5 |
|
|
! PR fortran/18918
|
| 6 |
|
|
!
|
| 7 |
|
|
|
| 8 |
|
|
subroutine valid(n, c, f)
|
| 9 |
|
|
implicit none
|
| 10 |
|
|
integer :: n
|
| 11 |
|
|
integer, save :: a[*], b(4)[-1:4,*]
|
| 12 |
|
|
real :: c(*)[1,0:3,3:*]
|
| 13 |
|
|
real :: f(n)[0:n,-100:*]
|
| 14 |
|
|
integer, allocatable :: d[:], e(:)[:,:]
|
| 15 |
|
|
integer, save, codimension[1,*] :: g, h(7), i(6)[*], j[*]
|
| 16 |
|
|
integer :: k
|
| 17 |
|
|
codimension :: k[*]
|
| 18 |
|
|
save :: k
|
| 19 |
|
|
integer :: ii = 7
|
| 20 |
|
|
block
|
| 21 |
|
|
integer :: j = 5
|
| 22 |
|
|
integer, save :: kk[j, *] ! { dg-error "Variable .j. cannot appear in the expression" }
|
| 23 |
|
|
end block
|
| 24 |
|
|
end subroutine valid
|
| 25 |
|
|
|
| 26 |
|
|
subroutine valid2()
|
| 27 |
|
|
type t
|
| 28 |
|
|
integer, allocatable :: a[:]
|
| 29 |
|
|
end type t
|
| 30 |
|
|
type, extends(t) :: tt
|
| 31 |
|
|
integer, allocatable :: b[:]
|
| 32 |
|
|
end type tt
|
| 33 |
|
|
type(tt), save :: foo
|
| 34 |
|
|
type(tt) :: bar
|
| 35 |
|
|
end subroutine valid2
|
| 36 |
|
|
|
| 37 |
|
|
subroutine invalid(n)
|
| 38 |
|
|
implicit none
|
| 39 |
|
|
integer :: n
|
| 40 |
|
|
integer :: k[*] ! { dg-error "not ALLOCATABLE, SAVE nor a dummy" }
|
| 41 |
|
|
integer :: h(3)[*] ! { dg-error "not ALLOCATABLE, SAVE nor a dummy" }
|
| 42 |
|
|
integer, save :: a[*]
|
| 43 |
|
|
codimension :: a[1,*] ! { dg-error "Duplicate CODIMENSION attribute" }
|
| 44 |
|
|
complex, save :: hh(n)[*] ! { dg-error "cannot have the SAVE attribute" }
|
| 45 |
|
|
integer :: j = 6
|
| 46 |
|
|
|
| 47 |
|
|
integer, save :: hf1[j,*] ! { dg-error "cannot appear in the expression" }
|
| 48 |
|
|
integer, save :: hf2[n,*] ! OK
|
| 49 |
|
|
integer, save :: hf3(4)[j,*] ! { dg-error "cannot appear in the expression|cannot have the SAVE attribute" }
|
| 50 |
|
|
integer, save :: hf4(5)[n,*] ! OK
|
| 51 |
|
|
|
| 52 |
|
|
integer, allocatable :: a2[*] ! { dg-error "must have deferred shape" }
|
| 53 |
|
|
integer, allocatable :: a3(:)[*] ! { dg-error "must have deferred shape" }
|
| 54 |
|
|
integer, allocatable :: a4[*] ! { dg-error "must have deferred shape" }
|
| 55 |
|
|
end subroutine invalid
|
| 56 |
|
|
|
| 57 |
|
|
subroutine invalid2
|
| 58 |
|
|
use iso_c_binding
|
| 59 |
|
|
implicit none
|
| 60 |
|
|
type t0
|
| 61 |
|
|
integer, allocatable :: a[:,:,:]
|
| 62 |
|
|
end type t0
|
| 63 |
|
|
type t
|
| 64 |
|
|
end type t
|
| 65 |
|
|
type, extends(t) :: tt ! { dg-error "has a coarray component, parent type" }
|
| 66 |
|
|
integer, allocatable :: a[:]
|
| 67 |
|
|
end type tt
|
| 68 |
|
|
type ttt
|
| 69 |
|
|
integer, pointer :: a[:] ! { dg-error "must be allocatable" }
|
| 70 |
|
|
end type ttt
|
| 71 |
|
|
type t4
|
| 72 |
|
|
integer, allocatable :: b[4,*] ! { dg-error "with deferred shape" }
|
| 73 |
|
|
end type t4
|
| 74 |
|
|
type t5
|
| 75 |
|
|
type(c_ptr), allocatable :: p[:] ! { dg-error "shall not be a coarray" }
|
| 76 |
|
|
end type t5
|
| 77 |
|
|
type(t0), save :: t0_1[*] ! { dg-error "shall be a nonpointer, nonallocatable scalar" }
|
| 78 |
|
|
type(t0), allocatable :: t0_2[:] ! { dg-error "shall be a nonpointer, nonallocatable scalar" }
|
| 79 |
|
|
type(c_ptr), save :: pp[*] ! { dg-error "shall not be a coarray" }
|
| 80 |
|
|
end subroutine invalid2
|
| 81 |
|
|
|
| 82 |
|
|
elemental subroutine elem(a) ! { dg-error "Coarray dummy argument" }
|
| 83 |
|
|
integer, intent(in) :: a[*]
|
| 84 |
|
|
end subroutine
|
| 85 |
|
|
|
| 86 |
|
|
function func() result(res)
|
| 87 |
|
|
integer :: res[*] ! { dg-error "CODIMENSION attribute conflicts with RESULT" }
|
| 88 |
|
|
end function func
|
