[Bug tree-optimization/92610] New: [10 Regression] ICE in calc_dfs_tree, at dominance.c:458 since r270940

[marxin at gcc dot gnu.org]

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

            Bug ID: 92610
           Summary: [10 Regression] ICE in calc_dfs_tree, at
                    dominance.c:458 since r270940
           Product: gcc
           Version: 10.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: rguenth at gcc dot gnu.org
  Target Milestone: ---

Following ICEs:

$ cat ice.cpp
struct C {
  int x;
  ~C() {}
};

int main() {
  C *buffer = new C[42];
  buffer[-(1 + sizeof(void*) / 4)].x = 42;
  delete [] buffer;
}

$ g++ ice.cpp -fdelete-dead-exceptions
--param=sccvn-max-alias-queries-per-access=0 -fno-dse -fnon-call-exceptions -Os
-funroll-loops -ftrapv
during RTL pass: fwprop2
ice.cpp: In function ‘int main()’:
ice.cpp:10:1: internal compiler error: in calc_dfs_tree, at dominance.c:458
   10 | }
      | ^
0x6f0585 calc_dfs_tree
        /home/marxin/Programming/gcc/gcc/dominance.c:458
0xc21725 calculate_dominance_info(cdi_direction)
        /home/marxin/Programming/gcc/gcc/dominance.c:734
0x1897f22 fwprop_init
        /home/marxin/Programming/gcc/gcc/fwprop.c:1508
0x1897f22 fwprop
        /home/marxin/Programming/gcc/gcc/fwprop.c:1560
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.