[Bug middle-end/107517] New: [OpenMP][5.0] 'target update' with strides — for C/C++ and Fortran

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

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

            Bug ID: 107517
           Summary: [OpenMP][5.0] 'target update' with strides — for C/C++
                    and Fortran
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Keywords: openmp, rejects-valid
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: burnus at gcc dot gnu.org
  Target Milestone: ---

Cf. https://gcc.gnu.org/pipermail/gcc-patches/2022-November/604938.html

"on the library side we certainly have omp_target_memcpy_rect which under the
hood just does multiple copies of the contiguous subparts, but I don't remember
something similar done in GOMP_target_update.  And I think it is not ok to copy
bytes that aren't requested to be copied."


OpenMP 5.0 (and later) seems to permit list items with strides
for the 'to' and 'from' clause of 'target update', e.g.

For C/C++:
   int array[1];
    ....
   #pragma omp target update from(arr[::2])

For Fortran:

   arr(::2)  ! stride, but must be positive
   arr([1,7,2,4]) ! first index must be first in element order
but not
   dt(:)%comp ! Invalid - not last part-ref

OpenMP 5.2 wording for 'to'/'from':
"5.9 Data-Motion Clauses": "The list items may include array sections with
stride expressions."


OpenMP 5.0 - same in 5.2 (in "3.2.5 Array Sections")
C/C++:
"The stride must evaluate to a positive integer."

Fortran:
• If a stride expression is specified, it must be positive.
• The upper bound for the last dimension of an assumed-size dummy array must be
specified.
• If a list item is an array section with vector subscripts, the first array
element must be the lowest in the array element order of the array section.
• If a list item is an array section, the last part-ref of the list item must
have a section subscript list


[Fortran] Regarding substrings: "variable list item" does not permit them – and
this implies extended list items and locator list items may not have them
neither.
(See OpenMP 5.2's "3.2.1 OpenMP Argument Lists")


Unrelated to this issue but related to mapping:

[Fortran] In "5.1.1 Variables Referenced in a Construct", OpenMP 5.2 states:
* "A type parameter inquiry or complex part designator that is referenced in a
construct is treated as if its designator is referenced."

[Fortran] For the map clause, OpenMP 5.2 states:
* "A list item must not be a complex part designator."