[Bug fortran/108838] New: [OpenMP] Array section of allocatable deferred-string has the wrong offset for the data component

["burnus at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108838

            Bug ID: 108838
           Summary: [OpenMP] Array section of allocatable deferred-string
                    has the wrong offset for the data component
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Keywords: openmp, wrong-code
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: burnus at gcc dot gnu.org
  Target Milestone: ---

The following program fails. Looking at the address passed to 
GOMP_target_enter_exit_data, it has the address of 'astr(3)' not of 'astr(4)'
as expected.

(Looks vaguely related to issue PR 108837, but internally different.)

The dump shows:
      parm.8.data = (void *) &(*(character(kind=1)[0:][1:.astr] * restrict)
                              astr.data)[4 - astr.dim[0].lbound];

which is identical to:
      parm.8.data = (void *) &(*(character(kind=1)[0:][1:.astr] * restrict)
                               astr.data)[1];
and it sees as if '1:.astr' effectively is 0 as that would explain 
the offset of 0. Probably, we want to use the array syntax only if
the UNIT_SIZE is either a constant or a SAVE_EXPR but not if it is some other
expression.

Or in other words: We probably do not want to use the array syntax for
deferred strings.

I wonder whether it will work with CLASS which has the
same issue (int the case the dynamic type has more components as the declared
one).

* * *


character(len=:), allocatable :: astr(:)
allocate(character(len=6) :: astr(3:5))

print '(z16,a)', loc(astr), ' astr'
print '(z16,a)', loc(astr(4)), ' astr4'
!$omp target enter data map(alloc: astr(4:5))
astr(3) = "01db45"
!$omp target map(alloc: astr(4:5))
  if (.not. allocated(astr)) error stop
  if (len(astr) /= 6) error stop
  if (size(astr) /= 3) error stop
  if (lbound(astr, 1) /= 3) error stop
  if (ubound(astr, 1) /= 5) error stop
  astr(4:5) = ["jk$D%S", "zutg47"]
!$omp end target
!$omp target exit data map(from: astr(4:5))
if (.not. allocated(astr)) error stop
if (len(astr) /= 6) error stop
if (size(astr) /= 3) error stop
if (lbound(astr, 1) /= 3) error stop
if (ubound(astr, 1) /= 5) error stop
print '(">",a,"<")', astr
if (any (astr /= ["01db45", "jk$D%S", "zutg47"])) error stop
end