[Bug libgomp/95163] New: internal compiler error: in gimplify_adjust_omp_clauses, at gimplify.c:10440

[Bug libgomp/95163] New: internal compiler error: in gimplify_adjust_omp_clauses, at gimplify.c:10440

[john.donners at atos dot net]

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

            Bug ID: 95163
           Summary: internal compiler error: in
                    gimplify_adjust_omp_clauses, at gimplify.c:10440
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: libgomp
          Assignee: unassigned at gcc dot gnu.org
          Reporter: john.donners at atos dot net
                CC: jakub at gcc dot gnu.org
  Target Milestone: ---

Created attachment 48548
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48548&action=edit
ICE with combined map-to and firstprivate

Hi,

gfortran (release 10.1.0 and commit f5b461d4) crashes with an internal compiler
error when compiling the attached program:

$ gfortran -Wall -Wextra -fopenmp bug_mapto_firstprivate.f90 
bug_mapto_firstprivate.f90:34:0:

   34 | !$omp    firstprivate(rsss)
      | 
internal compiler error: in gimplify_adjust_omp_clauses, at gimplify.c:10440
0xbab84d gimplify_adjust_omp_clauses
        ../../gcc/gcc/gimplify.c:10438
0xbcef50 gimplify_omp_workshare
        ../../gcc/gcc/gimplify.c:12810
0xbada45 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        ../../gcc/gcc/gimplify.c:14116
0xbb2836 gimplify_stmt(tree_node**, gimple**)
        ../../gcc/gcc/gimplify.c:6802
0xbae38b gimplify_statement_list
        ../../gcc/gcc/gimplify.c:1856
0xbae38b gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        ../../gcc/gcc/gimplify.c:14031
0xbb2836 gimplify_stmt(tree_node**, gimple**)
        ../../gcc/gcc/gimplify.c:6802
0xbb3b8d gimplify_bind_expr
        ../../gcc/gcc/gimplify.c:1411
0xbaf323 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        ../../gcc/gcc/gimplify.c:13788
0xbb2836 gimplify_stmt(tree_node**, gimple**)
        ../../gcc/gcc/gimplify.c:6802
0xbb4b13 gimplify_body(tree_node*, bool)
        ../../gcc/gcc/gimplify.c:14836
0xbb5187 gimplify_function_tree(tree_node*)
        ../../gcc/gcc/gimplify.c:14990
0x9d900f cgraph_node::analyze()
        ../../gcc/gcc/cgraphunit.c:671
0x9dc713 analyze_functions
        ../../gcc/gcc/cgraphunit.c:1231
0x9dd4d2 symbol_table::finalize_compilation_unit()
        ../../gcc/gcc/cgraphunit.c:2975
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

$ gfortran -v
Using built-in specs.
COLLECT_GCC=gfortran
COLLECT_LTO_WRAPPER=/software/compilers/gcc-offload/f5b461d4/gnu-9.2.0/libexec/gcc/x86_64-pc-linux-gnu/11.0.0/lto-wrapper
OFFLOAD_TARGET_NAMES=nvptx-none:x86_64-intelmicemul-linux-gnu
Target: x86_64-pc-linux-gnu
Configured with: ../gcc/configure
--with-gmp=/software/compilers/gcc/gcc-9.2.0-full+isl+binutils
--with-mpfr=/software/compilers/gcc/gcc-9.2.0-full+isl+binutils
--with-mpc=/software/compilers/gcc/gcc-9.2.0-full+isl+binutils
--with-isl=/software/compilers/gcc/gcc-9.2.0-full+isl+binutils
--enable-offload-targets=nvptx-none,x86_64-intelmicemul-linux-gnu
--with-cuda-driver-include=/usr/local/cuda-10.2/include
--with-cuda-driver-lib=/usr/local/cuda-10.2/lib64 --disable-bootstrap
--disable-multilib --enable-languages=c,c++,fortran,lto
--prefix=/software/compilers/gcc-offload/f5b461d4/gnu-9.2.0
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 11.0.0 20200516 (experimental) (GCC) 


Cheers,
John

[Bug libgomp/95163] [8/9/10/11 Regression] ICE in gimplify_adjust_omp_clauses, at gimplify.c:10440 since r7-4447-gb4c3a85be9658537

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |11.0, 7.5.0
                 CC|                            |marxin at gcc dot gnu.org
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
            Summary|internal compiler error: in |[8/9/10/11 Regression] ICE
                   |gimplify_adjust_omp_clauses |in
                   |, at gimplify.c:10440       |gimplify_adjust_omp_clauses
                   |                            |, at gimplify.c:10440 since
                   |                            |r7-4447-gb4c3a85be9658537
   Last reconfirmed|                            |2020-05-18
      Known to work|                            |6.4.0
            Version|unknown                     |7.5.0

[Bug libgomp/95163] [8/9/10/11 Regression] ICE in gimplify_adjust_omp_clauses, at gimplify.c:10440 since r7-4447-gb4c3a85be9658537

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |8.5
           Keywords|                            |ice-on-valid-code

[Bug middle-end/95163] [8/9/10/11 Regression] ICE in gimplify_adjust_omp_clauses, at gimplify.c:10440 since r7-4447-gb4c3a85be9658537

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|ice-on-valid-code           |ice-on-invalid-code
          Component|libgomp                     |middle-end

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
The testcase is not valid, target construct accepts both map and firstprivate
clauses and specifying both mapping and data-sharing for the same list item is
invalid, you need to choose one.

[Bug middle-end/95163] [8/9/10/11 Regression] ICE in gimplify_adjust_omp_clauses, at gimplify.c:10440 since r7-4447-gb4c3a85be9658537

[john.donners at atos dot net]

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

--- Comment #2 from John Donners <john.donners at atos dot net> ---
hmm, indeed I found the applicable text in the standard (2.14) as well:
"The effect of the firstprivate clause is as if it is applied to one or more
constructs as follows: To the target construct if it is among the constituent
constructs and the same list item does not appear in a lastprivate or map
clause."

Apologies for the invalid code. Splitting the two works without problems.

[Bug fortran/95163] [8/9/10/11 Regression] ICE in gimplify_adjust_omp_clauses, at gimplify.c:10440 since r7-4447-gb4c3a85be9658537

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |burnus at gcc dot gnu.org
          Component|middle-end                  |fortran

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Reduced testcase:
  integer :: i
  i = 1
!$omp target map(tofrom: i) firstprivate (i)
  i = i + 1
!$omp end target
end
For C/C++,
void
foo (int i)
{
#pragma omp target map(tofrom: i) firstprivate (i)
  i++;
}

void
bar (int i)
{
#pragma omp target firstprivate (i) map(tofrom: i)
  i++;
}
is rejected already in the FE, so I think we just miss rejecting it in the
Fortran FE.

[Bug fortran/95163] [8/9/10/11 Regression] ICE in gimplify_adjust_omp_clauses, at gimplify.c:10440 since r7-4447-gb4c3a85be9658537

[burnus at gcc dot gnu.org]

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

--- Comment #4 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Likewise crashing is:
  !$omp target map(tofrom: i) map(i)

[Bug fortran/95163] [8/9/10/11 Regression] ICE in gimplify_adjust_omp_clauses, at gimplify.c:10440 since r7-4447-gb4c3a85be9658537

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
           Keywords|                            |accepts-invalid

[Bug fortran/95163] [8/9/10/11 Regression] ICE in gimplify_adjust_omp_clauses, at gimplify.c:10440 since r7-4447-gb4c3a85be9658537

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P4

[Bug fortran/95163] [9/10/11/12 Regression] ICE in gimplify_adjust_omp_clauses, at gimplify.c:10440 since r7-4447-gb4c3a85be9658537

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|8.5                         |9.4

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 8 branch is being closed.

[Bug fortran/95163] [9/10/11/12 Regression] ICE in gimplify_adjust_omp_clauses, at gimplify.c:10440 since r7-4447-gb4c3a85be9658537

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.4                         |9.5

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9.4 is being released, retargeting bugs to GCC 9.5.

[Bug fortran/95163] [10/11/12/13 Regression] ICE in gimplify_adjust_omp_clauses, at gimplify.c:10440 since r7-4447-gb4c3a85be9658537

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.5                         |10.4

--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9 branch is being closed

[Bug fortran/95163] [10/11/12/13 Regression] ICE in gimplify_adjust_omp_clauses, at gimplify.c:10440 since r7-4447-gb4c3a85be9658537

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.4                        |10.5

--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.

[Bug fortran/95163] [11/12/13/14 Regression] ICE in gimplify_adjust_omp_clauses, at gimplify.c:10440 since r7-4447-gb4c3a85be9658537

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.5                        |11.5

--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 10 branch is being closed.