public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/103208] New: ICE: SSA corruption (Existing SSA name for symbol marked for renaming),or ICE in make_decl_rtl, at varasm.c:1446
@ 2021-11-12 10:55 asolokha at gmx dot com
  2021-11-12 13:10 ` [Bug tree-optimization/103208] [12 Regression] ICE: SSA corruption (Existing SSA name for symbol marked for renaming),or ICE in make_decl_rtl, at varasm.c:1446 since r12-4733-g2084b5f42a4432da marxin at gcc dot gnu.org
                   ` (4 more replies)
  0 siblings, 5 replies; 6+ messages in thread
From: asolokha at gmx dot com @ 2021-11-12 10:55 UTC (permalink / raw)
  To: gcc-bugs

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

            Bug ID: 103208
           Summary: ICE: SSA corruption (Existing SSA name for symbol
                    marked for renaming),or ICE in make_decl_rtl, at
                    varasm.c:1446
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: openmp
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---

1. gcc-12.0.0-alpha20211107 snapshot
(g:962ff7d2849e1fa6a1fe0535aa2dec5c2b9a32a6) ICEs when compiling
gcc/testsuite/c-c++-common/gomp/loop-8.c w/ -O1 -fopenmp -fwrapv:

% gcc-12.0.0 -O1 -fopenmp -fwrapv -c gcc/testsuite/c-c++-common/gomp/loop-8.c
Existing SSA name for symbol marked for renaming: .omp_data_i_14(D)
during GIMPLE pass: sccp
gcc/testsuite/c-c++-common/gomp/loop-8.c: In function 'foo._omp_fn.0':
gcc/testsuite/c-c++-common/gomp/loop-8.c:6:11: internal compiler error: SSA
corruption
    6 |   #pragma omp parallel for collapse(2)
      |           ^~~
0xf3e860 update_ssa(unsigned int)
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211107/work/gcc-12-20211107/gcc/tree-into-ssa.c:3441
0xef4e38 cleanup_tree_cfg_noloop
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211107/work/gcc-12-20211107/gcc/tree-cfgcleanup.c:1078
0xef4e38 cleanup_tree_cfg(unsigned int)
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211107/work/gcc-12-20211107/gcc/tree-cfgcleanup.c:1183
0xdaf3dc execute_function_todo
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211107/work/gcc-12-20211107/gcc/passes.c:2008
0xdafd1c execute_todo
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211107/work/gcc-12-20211107/gcc/passes.c:2096

2. Omitting -O1 from the command line yields the following instead, which may
be a separate issue:

% gcc-12.0.0 -fopenmp -fwrapv -c gcc/testsuite/c-c++-common/gomp/loop-8.c
during RTL pass: expand
gcc/testsuite/c-c++-common/gomp/loop-8.c: In function 'foo._omp_fn.0':
gcc/testsuite/c-c++-common/gomp/loop-8.c:6:11: internal compiler error: in
make_decl_rtl, at varasm.c:1446
    6 |   #pragma omp parallel for collapse(2)
      |           ^~~
0x79274e make_decl_rtl(tree_node*)
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211107/work/gcc-12-20211107/gcc/varasm.c:1446
0xaed6f7 expand_expr_real_1(tree_node*, rtx_def*, machine_mode,
expand_modifier, rtx_def**, bool)
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211107/work/gcc-12-20211107/gcc/expr.c:10553
0xaf676f expand_expr
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211107/work/gcc-12-20211107/gcc/expr.h:301
0xaf676f expand_expr_addr_expr_1
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211107/work/gcc-12-20211107/gcc/expr.c:8430
0xaf65c4 expand_expr_addr_expr_1
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211107/work/gcc-12-20211107/gcc/expr.c:8476
0xaec095 expand_expr_addr_expr
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211107/work/gcc-12-20211107/gcc/expr.c:8551
0xaec095 expand_expr_real_1(tree_node*, rtx_def*, machine_mode,
expand_modifier, rtx_def**, bool)
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211107/work/gcc-12-20211107/gcc/expr.c:11767
0xa3a6e6 expand_normal
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211107/work/gcc-12-20211107/gcc/expr.h:307
0xa3a6e6 do_compare_and_jump
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211107/work/gcc-12-20211107/gcc/dojump.c:1257
0xa3bf47 do_jump_1
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211107/work/gcc-12-20211107/gcc/dojump.c:231
0x9bfba8 expand_gimple_cond
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211107/work/gcc-12-20211107/gcc/cfgexpand.c:2657
0x9c0b74 expand_gimple_basic_block
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211107/work/gcc-12-20211107/gcc/cfgexpand.c:5944
0x9c21fe execute
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211107/work/gcc-12-20211107/gcc/cfgexpand.c:6811

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug tree-optimization/103208] [12 Regression] ICE: SSA corruption (Existing SSA name for symbol marked for renaming),or ICE in make_decl_rtl, at varasm.c:1446 since r12-4733-g2084b5f42a4432da
  2021-11-12 10:55 [Bug tree-optimization/103208] New: ICE: SSA corruption (Existing SSA name for symbol marked for renaming),or ICE in make_decl_rtl, at varasm.c:1446 asolokha at gmx dot com
@ 2021-11-12 13:10 ` marxin at gcc dot gnu.org
  2021-11-12 13:17 ` rguenth at gcc dot gnu.org
                   ` (3 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: marxin at gcc dot gnu.org @ 2021-11-12 13:10 UTC (permalink / raw)
  To: gcc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |12.0
     Ever confirmed|0                           |1
            Summary|ICE: SSA corruption         |[12 Regression] ICE: SSA
                   |(Existing SSA name for      |corruption (Existing SSA
                   |symbol marked for           |name for symbol marked for
                   |renaming),or ICE in         |renaming),or ICE in
                   |make_decl_rtl, at           |make_decl_rtl, at
                   |varasm.c:1446               |varasm.c:1446 since
                   |                            |r12-4733-g2084b5f42a4432da
   Last reconfirmed|                            |2021-11-12
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r12-4733-g2084b5f42a4432da.

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug tree-optimization/103208] [12 Regression] ICE: SSA corruption (Existing SSA name for symbol marked for renaming),or ICE in make_decl_rtl, at varasm.c:1446 since r12-4733-g2084b5f42a4432da
  2021-11-12 10:55 [Bug tree-optimization/103208] New: ICE: SSA corruption (Existing SSA name for symbol marked for renaming),or ICE in make_decl_rtl, at varasm.c:1446 asolokha at gmx dot com
  2021-11-12 13:10 ` [Bug tree-optimization/103208] [12 Regression] ICE: SSA corruption (Existing SSA name for symbol marked for renaming),or ICE in make_decl_rtl, at varasm.c:1446 since r12-4733-g2084b5f42a4432da marxin at gcc dot gnu.org
@ 2021-11-12 13:17 ` rguenth at gcc dot gnu.org
  2021-11-15 19:49 ` jakub at gcc dot gnu.org
                   ` (2 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2021-11-12 13:17 UTC (permalink / raw)
  To: gcc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.0

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug tree-optimization/103208] [12 Regression] ICE: SSA corruption (Existing SSA name for symbol marked for renaming),or ICE in make_decl_rtl, at varasm.c:1446 since r12-4733-g2084b5f42a4432da
  2021-11-12 10:55 [Bug tree-optimization/103208] New: ICE: SSA corruption (Existing SSA name for symbol marked for renaming),or ICE in make_decl_rtl, at varasm.c:1446 asolokha at gmx dot com
  2021-11-12 13:10 ` [Bug tree-optimization/103208] [12 Regression] ICE: SSA corruption (Existing SSA name for symbol marked for renaming),or ICE in make_decl_rtl, at varasm.c:1446 since r12-4733-g2084b5f42a4432da marxin at gcc dot gnu.org
  2021-11-12 13:17 ` rguenth at gcc dot gnu.org
@ 2021-11-15 19:49 ` jakub at gcc dot gnu.org
  2021-11-16  9:21 ` cvs-commit at gcc dot gnu.org
  2021-11-16  9:48 ` jakub at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: jakub at gcc dot gnu.org @ 2021-11-15 19:49 UTC (permalink / raw)
  To: gcc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |jakub at gcc dot gnu.org
             Status|NEW                         |ASSIGNED

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 51800
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51800&action=edit
gcc12-pr103208.patch

Untested fix.

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug tree-optimization/103208] [12 Regression] ICE: SSA corruption (Existing SSA name for symbol marked for renaming),or ICE in make_decl_rtl, at varasm.c:1446 since r12-4733-g2084b5f42a4432da
  2021-11-12 10:55 [Bug tree-optimization/103208] New: ICE: SSA corruption (Existing SSA name for symbol marked for renaming),or ICE in make_decl_rtl, at varasm.c:1446 asolokha at gmx dot com
                   ` (2 preceding siblings ...)
  2021-11-15 19:49 ` jakub at gcc dot gnu.org
@ 2021-11-16  9:21 ` cvs-commit at gcc dot gnu.org
  2021-11-16  9:48 ` jakub at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2021-11-16  9:21 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:47de0b56ee455ec82ec7d61a20988f11b67aa4e9

commit r12-5295-g47de0b56ee455ec82ec7d61a20988f11b67aa4e9
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Tue Nov 16 10:19:22 2021 +0100

    openmp: Regimplify operands of GIMPLE_COND in a few more places [PR103208]

    As the testcase shows, the non-rectangular loop expansion code didn't
    try to regimplify operands of GIMPLE_CONDs it built in some cases.
    I have added a helper function which does that and used it in some places
    that were regimplifying already to simplify those spots, plus added it
    in a couple of other places where it was needed.

    2021-11-16  Jakub Jelinek  <jakub@redhat.com>

            PR tree-optimization/103208
            * omp-expand.c (expand_omp_build_cond): New function.
            (expand_omp_for_init_counts, expand_omp_for_init_vars,
            expand_omp_for_static_nochunk, expand_omp_for_static_chunk): Use
it.

            * c-c++-common/gomp/loop-11.c: New test.

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug tree-optimization/103208] [12 Regression] ICE: SSA corruption (Existing SSA name for symbol marked for renaming),or ICE in make_decl_rtl, at varasm.c:1446 since r12-4733-g2084b5f42a4432da
  2021-11-12 10:55 [Bug tree-optimization/103208] New: ICE: SSA corruption (Existing SSA name for symbol marked for renaming),or ICE in make_decl_rtl, at varasm.c:1446 asolokha at gmx dot com
                   ` (3 preceding siblings ...)
  2021-11-16  9:21 ` cvs-commit at gcc dot gnu.org
@ 2021-11-16  9:48 ` jakub at gcc dot gnu.org
  4 siblings, 0 replies; 6+ messages in thread
From: jakub at gcc dot gnu.org @ 2021-11-16  9:48 UTC (permalink / raw)
  To: gcc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed.

^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2021-11-16  9:48 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-11-12 10:55 [Bug tree-optimization/103208] New: ICE: SSA corruption (Existing SSA name for symbol marked for renaming),or ICE in make_decl_rtl, at varasm.c:1446 asolokha at gmx dot com
2021-11-12 13:10 ` [Bug tree-optimization/103208] [12 Regression] ICE: SSA corruption (Existing SSA name for symbol marked for renaming),or ICE in make_decl_rtl, at varasm.c:1446 since r12-4733-g2084b5f42a4432da marxin at gcc dot gnu.org
2021-11-12 13:17 ` rguenth at gcc dot gnu.org
2021-11-15 19:49 ` jakub at gcc dot gnu.org
2021-11-16  9:21 ` cvs-commit at gcc dot gnu.org
2021-11-16  9:48 ` jakub at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).