[Bug c++/99007] New: [11 Regression] ICE in dominated_by_p, at dominance.c:1124

[gscfq@t-online.de]

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

            Bug ID: 99007
           Summary: [11 Regression] ICE in dominated_by_p, at
                    dominance.c:1124
           Product: gcc
           Version: 11.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 20201018 and 20201108 :


$ cat z1.cc
template <typename T> void bar (T *)
{
  T s[0/0];
  #pragma omp teams distribute parallel for reduction(+:s) allocate(s)
  for (int i = 0; i < 8; i++);
}
void foo ()
{
  long *a;
  bar (a);
}


$ g++-11-20210207 -c z1.cc -fopenmp
z1.cc: In function 'void bar(T*)':
z1.cc:3:8: warning: division by zero [-Wdiv-by-zero]
    3 |   T s[0/0];
      |       ~^~
z1.cc: In instantiation of 'void bar(T*) [with T = long int]':
z1.cc:10:9:   required from here
z1.cc:3:8: warning: division by zero [-Wdiv-by-zero]
during GIMPLE pass: ssa
z1.cc: In function '_Z3barIlEvPT_._omp_fn.0':
z1.cc:11:1: internal compiler error: Segmentation fault
   11 | }
      | ^
0xfe6cdf crash_signal
        ../../gcc/toplev.c:327
0xb6e764 dominated_by_p(cdi_direction, basic_block_def const*, basic_block_def
const*)
        ../../gcc/dominance.c:1124
0x1259775 verify_use
        ../../gcc/tree-ssa.c:892
0x125e462 verify_ssa(bool, bool)
        ../../gcc/tree-ssa.c:1167
0xef8a87 execute_function_todo
        ../../gcc/passes.c:2049
0xef97f2 execute_todo
        ../../gcc/passes.c:2096