[Bug c/109408] New: [13 Regression] ICE in decide_about_value, at ipa-cp.cc:6154

[gscfq--- via Gcc-bugs]

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

            Bug ID: 109408
           Summary: [13 Regression] ICE in decide_about_value, at
                    ipa-cp.cc:6154
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gs...@t-online.de
  Target Milestone: ---

Started between 20230205 and 20230212, at -O3+ :
(testcase derived from pr108605.c)
(gcc configured with --enable-checking=yes)


$ cat z1.c
struct S {
  int a, b, c;
  int d[__INT_MAX__], e;
};
void
foo (struct S *s)
{
  if (s->b && s->c != 0)
    __builtin_abort ();
}
void
bar (void)
{
  struct S s[2];
  s[0].a = 0;
  s[0].e = 0;
  foo (s);
}


$ gcc-13-20230402 -c z1.c -O3
during IPA pass: cp
z1.c:18:1: internal compiler error: in decide_about_value, at ipa-cp.cc:6154
   18 | }
      | ^
0x1d5590f decide_about_value<tree_node*>
        ../../gcc/ipa-cp.cc:6153
0x1d55be9 decide_whether_version_node
        ../../gcc/ipa-cp.cc:6248
0x1d5926b ipcp_decision_stage
        ../../gcc/ipa-cp.cc:6430
0x1d5926b ipcp_driver
        ../../gcc/ipa-cp.cc:6618