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; } }