https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113144
--- Comment #10 from Zdenek Sojka <zsojka at seznam dot cz> --- Created attachment 57009 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57009&action=edit simpler testcase using _BitInt() $ x86_64-pc-linux-gnu-gcc -O3 -mavx2 testcase.c testcase.c: In function 'foo': testcase.c:5:1: error: dominator of 24 should be 57, not 12 5 | foo (void) | ^~~ testcase.c:5:1: error: dominator of 25 should be 57, not 12 during GIMPLE pass: vect testcase.c:5:1: internal compiler error: in verify_dominators, at dominance.cc:1194 0x742528 verify_dominators(cdi_direction) ...