[Bug c/109303] New: [13 Regression] ICE in push_agg_values_from_plats, at ipa-cp.cc:1458

["gscfq@t-online.de" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 109303
           Summary: [13 Regression] ICE in push_agg_values_from_plats, at
                    ipa-cp.cc:1458
           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 between 20221016 and 20221023, at -O2+ :


$ cat z1.c
struct s
{
  struct s1
  {
    unsigned char c1;
    unsigned short a1[2147483647];
  } __attribute__ ((packed)) p1;
  struct s2
  {
    unsigned char c2;
    unsigned short a2[100];
  } __attribute__ ((packed)) p2[4];
} __attribute__ ((packed));

typedef struct
{
  struct s b;
} qs;

static int
f (qs *q)
{
  int i, j;
  for (i = 0; i < q->b.p1.c1; i++)
    for (j = 0; j < q->b.p2[i].c2; j++)
      g (q->b.p2[i].a2[j]);
}

int main (void)
{
  qs q;
  q.b.p2[0].c2 = q.b.p2[1].c2 = 3;
  return f (&q);
}


$ gcc-13-20230326 -c z1.c -O2
z1.c: In function 'f':
z1.c:26:7: warning: implicit declaration of function 'g'
[-Wimplicit-function-declaration]
   26 |       g (q->b.p2[i].a2[j]);
      |       ^
during IPA pass: cp
z1.c: At top level:
z1.c:34:1: internal compiler error: in push_agg_values_from_plats, at
ipa-cp.cc:1458
   34 | }
      | ^
0x1db8677 push_agg_values_from_plats
        ../../gcc/ipa-cp.cc:1457
0x1db8aef gather_context_independent_values
        ../../gcc/ipa-cp.cc:3641
0x1dc0d59 estimate_local_effects
        ../../gcc/ipa-cp.cc:3746
0x1dcbe38 propagate_constants_topo
        ../../gcc/ipa-cp.cc:4105
0x1dcbe38 ipcp_propagate_stage
        ../../gcc/ipa-cp.cc:4292
0x1dcbe38 ipcp_driver
        ../../gcc/ipa-cp.cc:6616