[Bug c/105148] New: [11/12 Regression] ICE in verify_use, at tree-ssa.cc:881

[gscfq@t-online.de]

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

            Bug ID: 105148
           Summary: [11/12 Regression] ICE in verify_use, at
                    tree-ssa.cc:881
           Product: gcc
           Version: 12.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 20201122 and 20201129, at -O2+ :


$ cat z1.c
extern int h (void);
extern int a[7][256];
static int f (int a[7][256], int n)
{
  for (int i = 0; i < n; i++) {
    int v = h(), a[1][i];
    a[n][i] = 0;
  }
}
int g (void)
{
  return f (a, 5);
}


$ gcc-12-20220403 -c z1.c -O1
$
$ gcc-12-20220403 -c z1.c -O2
during GIMPLE pass: ivopts
z1.c: In function 'g':
z1.c:10:5: internal compiler error: Segmentation fault
   10 | int g (void)
      |     ^
0xe0a17f crash_signal
        ../../gcc/toplev.cc:322
0x109ebab verify_use
        ../../gcc/tree-ssa.cc:881
0x10a3942 verify_ssa(bool, bool)
        ../../gcc/tree-ssa.cc:1164
0xd01ea7 execute_function_todo
        ../../gcc/passes.cc:2092
0xd027f2 execute_todo
        ../../gcc/passes.cc:2139