! { 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" } }