[Bug c++/106123] New: ICE in walk_tree_1, at tree.cc:11243

[Bug c++/106123] New: ICE in walk_tree_1, at tree.cc:11243

[gscfq@t-online.de]

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

            Bug ID: 106123
           Summary: ICE in walk_tree_1, at tree.cc:11243
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Started with r12 and option -ftrivial-auto-var-init=zero,
with file g++.dg/gomp/member-1.C :


$ gcc-13-20220626 -c member-1.C -fopenmp -ftrivial-auto-var-init=zero
during GIMPLE pass: omplower
member-1.C: In member function 'void S::foo()':
member-1.C:99:13: internal compiler error: Segmentation fault
   99 |     #pragma omp taskloop firstprivate (a, t) lastprivate (t)
      |             ^~~
0xdb5c7f crash_signal
        ../../gcc/toplev.cc:322
0x104c224 walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*,
tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*))
        ../../gcc/tree.cc:11243
0x104c86a walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*,
tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*))
        ../../gcc/tree.cc:11468
0xc74445 unshare_and_remap
        ../../gcc/omp-low.cc:329
0xc78f87 lower_omp_regimplify_operands_p
        ../../gcc/omp-low.cc:14307
0x104c212 walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*,
tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*))
        ../../gcc/tree.cc:11237
0xb0ceb8 walk_gimple_op(gimple*, tree_node* (*)(tree_node**, int*, void*),
walk_stmt_info*)
        ../../gcc/gimple-walk.cc:202
0xc74fa4 lower_omp_regimplify_operands
        ../../gcc/omp-low.cc:14331
0xc7fac1 lower_omp_1
        ../../gcc/omp-low.cc:14597
0xc7fac1 lower_omp
        ../../gcc/omp-low.cc:14609
0xc93593 lower_omp_for
        ../../gcc/omp-low.cc:11648
0xc80d21 lower_omp_1
        ../../gcc/omp-low.cc:14415
0xc80d21 lower_omp
        ../../gcc/omp-low.cc:14609
0xc80e8e lower_omp_1
        ../../gcc/omp-low.cc:14399
0xc80e8e lower_omp
        ../../gcc/omp-low.cc:14609
0xc80e8e lower_omp_1
        ../../gcc/omp-low.cc:14399
0xc80e8e lower_omp
        ../../gcc/omp-low.cc:14609
0xc8fc83 lower_omp_taskreg
        ../../gcc/omp-low.cc:12564
0xc809f1 lower_omp_1
        ../../gcc/omp-low.cc:14408
0xc809f1 lower_omp
        ../../gcc/omp-low.cc:14609

[Bug c++/106123] ICE in walk_tree_1, at tree.cc:11243

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |qing.zhao at oracle dot com

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
It's there since -ftrivial-auto-var-init=zero was added.

[Bug middle-end/106123] ICE in walk_tree_1, at tree.cc:11243

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2022-07-11
          Component|c++                         |middle-end

[Bug middle-end/106123] ICE in walk_tree_1, at tree.cc:11243

[qinzhao at gcc dot gnu.org]

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

--- Comment #2 from qinzhao at gcc dot gnu.org ---
simplified testing case:
[opc@qinzhao-ol8u3-x86 106123]$ cat  t.C
struct T { T () {}; virtual ~T () {}; int t; };
struct S : virtual public T { int a; void foo (); };
template <typename T>
struct U { U () {}; virtual ~U () {}; T t; };
template <typename T>
struct V : virtual public U<T> { T a; void foo (); };

void
S::foo ()
{
#pragma omp parallel
  {
    #pragma omp taskloop firstprivate (a, t) lastprivate (t)
    for (int i = 0; i < a; i++)
      t++;
  }
}

void
bar ()
{
  V<int> v;
  v.foo ();
}

[Bug middle-end/106123] ICE in walk_tree_1, at tree.cc:11243

[qinzhao at gcc dot gnu.org]

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

--- Comment #3 from qinzhao at gcc dot gnu.org ---
the minimized testing case:

struct S { int t; int a; void foo (); };

void
S::foo ()
{
#pragma omp parallel
  {
    #pragma omp taskloop firstprivate (a) 
    for (int i = 0; i < a; i++)
      t++;
  }
}