1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
! { dg-do run }
! { dg-additional-options "-fdump-tree-original" }
! PR fortran/93834 - ICE in trans_caf_is_present
program p
type t
integer, allocatable :: x[:,:,:]
end type t
integer, allocatable :: a[:]
type(t) :: c
if (allocated (a)) stop 1
if (allocated (c%x)) stop 2
! The coindexed scalar (!) variable is regarded as allocatable but
! we can check the value on any image of the team as they are
! established collectively. As tested by the dump, we do it on
! this_image ().
!
! For this reason, -fcoarray=single and -fcoarray=lib give the
! same result
if (allocated (a[1])) stop 3
if (allocated (c%x[1,2,3])) stop 4
! Allocate collectively
allocate(a[*])
allocate(c%x[4,10,*])
if (.not. allocated (a)) stop 5
if (.not. allocated (c%x)) stop 6
if (.not. allocated (a[1])) stop 7
if (.not. allocated (c%x[1,2,3])) stop 8
! Dellocate collectively
deallocate(a)
deallocate(c%x)
if (allocated (a)) stop 9
if (allocated (c%x)) stop 10
if (allocated (a[1])) stop 11
if (allocated (c%x[1,2,3])) stop 12
end
! twice == 0 for .not. allocated' (coindexed vs. not)
! four times != for allocated (before alloc after dealloc, coindexed and not)
! There are also == 0 and != 0 for (de)allocate checks with -fcoarray=single but those
! aren't prefixed by '(integer(kind=4) *)'
! { dg-final { scan-tree-dump-times "\\(integer\\(kind=4\\) \\*\\) a.data != 0B" 4 "original" } }
! { dg-final { scan-tree-dump-times "\\(integer\\(kind=4\\) \\*\\) c.x.data != 0B" 4 "original" } }
! { dg-final { scan-tree-dump-times "\\(integer\\(kind=4\\) \\*\\) a.data == 0B" 2 "original" } }
! { dg-final { scan-tree-dump-times "\\(integer\\(kind=4\\) \\*\\) c.x.data == 0B" 2 "original" } }
! Expected: always local access and never a call to _gfortran_caf_get
! { dg-final { scan-tree-dump-not "caf_get" "original" } }
|
