[Bug tree-optimization/103204] New: [11/12 Regression] ICE: in vn_reference_insert_pieces, at tree-ssa-sccvn.c:3842 (on -O2 and above)

[Bug tree-optimization/103204] New: [11/12 Regression] ICE: in vn_reference_insert_pieces, at tree-ssa-sccvn.c:3842 (on -O2 and above)

[haoxintu at gmail dot com]

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

            Bug ID: 103204
           Summary: [11/12 Regression] ICE: in vn_reference_insert_pieces,
                    at tree-ssa-sccvn.c:3842 (on -O2 and above)
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: haoxintu at gmail dot com
  Target Milestone: ---

Hi all.

$cat small.c
#include <stdint.h>
int a[][1];
int b, c;
void d() {
  int32_t e;
  int32_t f[0];
  int32_t *g;
  for (; e;)
    c = b;
  if (a[0][b] = f != 3)
    g = &f[b];
  int32_t h;
  *g = *g = *g = h;
}

$gcc -w -O2 small.c
during GIMPLE pass: fre
small.c: In function ‘d’:
small.c:14:1: internal compiler error: in vn_reference_insert_pieces, at
tree-ssa-sccvn.c:3842
   14 | }
      | ^
0x6abce4 vn_reference_insert_pieces(tree_node*, int, int, tree_node*,
vec<vn_reference_op_struct, va_heap, vl_ptr>, tree_node*, unsigned int)
        ../../gcc/tree-ssa-sccvn.c:3842
0xdbad48 vn_reference_lookup_or_insert_for_pieces
        ../../gcc/tree-ssa-sccvn.c:2339
0xdbad48 vn_walk_cb_data::finish(int, int, tree_node*)
        ../../gcc/tree-ssa-sccvn.c:1900
0xdc12ae vn_reference_lookup_3
        ../../gcc/tree-ssa-sccvn.c:3160
0xd04652 walk_non_aliased_vuses(ao_ref*, tree_node*, bool, void* (*)(ao_ref*,
tree_node*, void*), void* (*)(ao_ref*, tree_node*, void*, translate_flags*),
tree_node* (*)(tree_node*), unsigned int&, void*)
        ../../gcc/tree-ssa-alias.c:3725
0xdbc140 vn_reference_lookup(tree_node*, tree_node*, vn_lookup_kind,
vn_reference_s**, bool, tree_node**, tree_node*)
        ../../gcc/tree-ssa-sccvn.c:3700
0xdbc911 eliminate_dom_walker::eliminate_stmt(basic_block_def*,
gimple_stmt_iterator*)
        ../../gcc/tree-ssa-sccvn.c:6384
0xdbe1dd eliminate_dom_walker::before_dom_children(basic_block_def*)
        ../../gcc/tree-ssa-sccvn.c:6722
0xdbe1dd eliminate_dom_walker::before_dom_children(basic_block_def*)
        ../../gcc/tree-ssa-sccvn.c:6655
0x17a286e dom_walker::walk(basic_block_def*)
        ../../gcc/domwalk.c:309
0xdb57aa eliminate_with_rpo_vn(bitmap_head*)
        ../../gcc/tree-ssa-sccvn.c:6902
0xdc47c3 do_rpo_vn
        ../../gcc/tree-ssa-sccvn.c:8014
0xdc5670 execute
        ../../gcc/tree-ssa-sccvn.c:8096
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.

$gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/media/haoxin/SeagateData/haoxin-data/dut-research/compilers/gcc/build/bin/../libexec/gcc/x86_64-pc-linux-gnu/12.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../configure
--prefix=/home/haoxin/haoxin-data/dut-research/compilers/gcc/build/
--enable-bootstrap --enable-checking=release --enable-languages=c,c++
--enable-multilib
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 12.0.0 20211112 (experimental) (GCC) 


Note that GCC-11.2 above versions behave the same.

Can check here: https://godbolt.org/z/WP8naWWMz


Thanks,
Haoxin

[Bug tree-optimization/103204] [11/12 Regression] ICE: in vn_reference_insert_pieces, at tree-ssa-sccvn.c:3842 (on -O2 and above)

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2021-11-12
           Priority|P3                          |P2
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |ASSIGNED
   Target Milestone|---                         |11.3
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
I will have a look.

[Bug tree-optimization/103204] [11/12 Regression] ICE: in vn_reference_insert_pieces, at tree-ssa-sccvn.c:3842 (on -O2 and above)

[pinskia at gcc dot gnu.org]

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

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I suspect the patch which fixed PR 100923 caused this one but I could be wrong.

[Bug tree-optimization/103204] [11/12 Regression] ICE: in vn_reference_insert_pieces, at tree-ssa-sccvn.c:3842 (on -O2 and above)

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:140346fa246dc2476c5c2bf2ecadebd18a3af5d0

commit r12-5189-g140346fa246dc2476c5c2bf2ecadebd18a3af5d0
Author: Richard Biener <rguenther@suse.de>
Date:   Fri Nov 12 09:09:29 2021 +0100

    tree-optimization/103204 - fix missed valueization in VN

    The following fixes a missed valueization when simplifying
    a MEM[&...] combination during valueization.

    2021-11-12  Richard Biener  <rguenther@suse.de>

            PR tree-optimization/103204
            * tree-ssa-sccvn.c (valueize_refs_1): Re-valueize the
            top operand after folding in an address.

            * gcc.dg/torture/pr103204.c: New testcase.

[Bug tree-optimization/103204] [11 Regression] ICE: in vn_reference_insert_pieces, at tree-ssa-sccvn.c:3842 (on -O2 and above) since r12-1295-g7a56d3d3e99cc77a

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[11 Regression] ICE: in     |[11 Regression] ICE: in
                   |vn_reference_insert_pieces, |vn_reference_insert_pieces,
                   |at tree-ssa-sccvn.c:3842    |at tree-ssa-sccvn.c:3842
                   |(on -O2 and above)          |(on -O2 and above) since
                   |                            |r12-1295-g7a56d3d3e99cc77a
                 CC|                            |marxin at gcc dot gnu.org
           Keywords|needs-bisection             |

--- Comment #4 from Martin Liška <marxin at gcc dot gnu.org> ---
Btw. started with r12-1295-g7a56d3d3e99cc77a.

[Bug tree-optimization/103204] [11 Regression] ICE: in vn_reference_insert_pieces, at tree-ssa-sccvn.c:3842 (on -O2 and above) since r12-1295-g7a56d3d3e99cc77a

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:5571c2719269687ad518d5aadf248a7500f11f85

commit r11-9260-g5571c2719269687ad518d5aadf248a7500f11f85
Author: Richard Biener <rguenther@suse.de>
Date:   Fri Nov 12 09:09:29 2021 +0100

    tree-optimization/103204 - fix missed valueization in VN

    The following fixes a missed valueization when simplifying
    a MEM[&...] combination during valueization.

    2021-11-12  Richard Biener  <rguenther@suse.de>

            PR tree-optimization/103204
            * tree-ssa-sccvn.c (valueize_refs_1): Re-valueize the
            top operand after folding in an address.

            * gcc.dg/torture/pr103204.c: New testcase.

    (cherry picked from commit 140346fa246dc2476c5c2bf2ecadebd18a3af5d0)

[Bug tree-optimization/103204] [11 Regression] ICE: in vn_reference_insert_pieces, at tree-ssa-sccvn.c:3842 (on -O2 and above) since r12-1295-g7a56d3d3e99cc77a

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED
      Known to work|                            |11.2.1

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.