[Bug tree-optimization/114832] New: ICE at -O{2,3} with "-fno-tree-loop-if-convert -fno-tree-loop-distribute-patterns -ftree-vectorize" on x86_64-linux-gnu: in verify_dominators, at dominance.cc:1194

[zhendong.su at inf dot ethz.ch via Gcc-bugs]

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

            Bug ID: 114832
           Summary: ICE at -O{2,3} with "-fno-tree-loop-if-convert
                    -fno-tree-loop-distribute-patterns -ftree-vectorize"
                    on x86_64-linux-gnu: in verify_dominators, at
                    dominance.cc:1194
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zhendong.su at inf dot ethz.ch
  Target Milestone: ---

It appears to be a recent regression and does not reproduce with 13.2 and
earlier.

Compiler Explorer: https://godbolt.org/z/1do4bc9W7


[515] % gcctk -v
Using built-in specs.
COLLECT_GCC=gcctk
COLLECT_LTO_WRAPPER=/local/suz-local/software/local/gcc-trunk/libexec/gcc/x86_64-pc-linux-gnu/14.0.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../gcc-trunk/configure --disable-bootstrap
--enable-checking=yes --prefix=/local/suz-local/software/local/gcc-trunk
--enable-sanitizers --enable-languages=c,c++ --disable-werror --enable-multilib
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.0.1 20240423 (experimental) (GCC) 
[516] % 
[516] % gcctk -c -O2 -fno-tree-loop-if-convert
-fno-tree-loop-distribute-patterns -ftree-vectorize small.c 
small.c: In function ‘e’:
small.c:2:6: error: dominator of 6 should be 13, not 5
    2 | void e() {
      |      ^
during GIMPLE pass: vect
small.c:2:6: internal compiler error: in verify_dominators, at
dominance.cc:1194
0x7a1828 verify_dominators(cdi_direction)
        ../../gcc-trunk/gcc/dominance.cc:1194
0x145a0d0 checking_verify_dominators(cdi_direction)
        ../../gcc-trunk/gcc/dominance.h:76
0x145a0d0 slpeel_tree_duplicate_loop_to_edge_cfg(loop*, edge_def*, loop*,
edge_def*, edge_def*, edge_def**, bool, vec<basic_block_def*, va_heap,
vl_ptr>*)
        ../../gcc-trunk/gcc/tree-vect-loop-manip.cc:1961
0x145d46c vect_do_peeling(_loop_vec_info*, tree_node*, tree_node*, tree_node**,
tree_node**, tree_node**, int, bool, bool, tree_node**)
        ../../gcc-trunk/gcc/tree-vect-loop-manip.cc:3444
0x144cd58 vect_transform_loop(_loop_vec_info*, gimple*)
        ../../gcc-trunk/gcc/tree-vect-loop.cc:11910
0x149374e vect_transform_loops
        ../../gcc-trunk/gcc/tree-vectorizer.cc:1006
0x1493e53 try_vectorize_loop_1
        ../../gcc-trunk/gcc/tree-vectorizer.cc:1152
0x1493e53 try_vectorize_loop
        ../../gcc-trunk/gcc/tree-vectorizer.cc:1182
0x149448c execute
        ../../gcc-trunk/gcc/tree-vectorizer.cc:1298
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
[517] % 
[517] % cat small.c
int a, b, c, d[3];
void e() {
  int f, g = 0;
  for (; g < 3; g++) {
    if (f || a || b && c) {
      int h, *i = &h, **j = &i;
    }
    d[g] = 0;
  }
}