[Bug fortran/106730] New: [OpenMP] ICE in install_var_field, at omp-low.cc:797

[Bug fortran/106730] New: [OpenMP] ICE in install_var_field, at omp-low.cc:797

[burnus at gcc dot gnu.org]

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

            Bug ID: 106730
           Summary: [OpenMP] ICE in install_var_field, at omp-low.cc:797
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code, openmp
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: burnus at gcc dot gnu.org
                CC: jakub at gcc dot gnu.org
  Target Milestone: ---

Created attachment 53499
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53499&action=edit
Slightly modified and de-module-used testcase; run as 'gfortran -fopenmp
test.f90'

Found via
https://github.com/SOLLVE/sollve_vv/blob/master/tests/5.0/target/test_target_mapping_before_alloc.F90

Testcase fails since at least GCC 9.

$ gfortran -fopenmp test.f90     
during GIMPLE pass: omplower
test.f90:25:41:

   25 |   !$omp& test_struct) map(tofrom: errors)
      |                                         ^
internal compiler error: in install_var_field, at omp-low.cc:797
0x742f21 install_var_field
        ../../repos/gcc-trunk-commit/gcc/omp-low.cc:797
0xe24f0c scan_sharing_clauses
        ../../repos/gcc-trunk-commit/gcc/omp-low.cc:1672
0xe26877 scan_omp_target
        ../../repos/gcc-trunk-commit/gcc/omp-low.cc:3100

[Bug fortran/106730] [OpenMP][valid since 5.0] ICE in install_var_field, at omp-low.cc:797 for 'map(alloc:var) map(to:var)' (more than once in map clause)

[burnus at gcc dot gnu.org]

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

Tobias Burnus <burnus at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[OpenMP] ICE in             |[OpenMP][valid since 5.0]
                   |install_var_field, at       |ICE in install_var_field,
                   |omp-low.cc:797              |at omp-low.cc:797 for
                   |                            |'map(alloc:var)
                   |                            |map(to:var)' (more than
                   |                            |once in map clause)

--- Comment #1 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Okay – that's the
  ‘member’ appears more than once in map clauses
issue

For C/C++, there is this error – for Fortran not:
  error: ‘member’ appears more than once in map clauses
(same for 'a' and 'scalar') using the C testcase at
https://github.com/SOLLVE/sollve_vv/blob/master/tests/5.0/target/test_target_mapping_before_alloc.c
for the C/C++ testcase.

I think one pending patch was addressing on this.
Indeed, using devel/omp/gcc-12 (OG12), it compiles + runs for Fortran -
but still fails for C/C++ with the "more than once" error.

I think it is part of the following patch set:
* [PATCH 00/16] OpenMP: lvalues in "map" clauses and struct handling rework
   https://gcc.gnu.org/pipermail/gcc-patches/2021-December/586600.html
   and January + February updates (search for metadirective)
+ patch review end of May, e.g.
   https://gcc.gnu.org/pipermail/gcc-patches/2022-May/595762.html (+ 4 more
emails)