https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94443
--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> --- Or a simple C code: $ cat tc.i int a; unsigned *b; void foo() { for (unsigned i; i <= a; ++i, ++b) ; } $ gcc -O3 -march=znver2 tc.i tc.i: In function 'foo': tc.i:4:6: error: missing definition 4 | void foo() | ^~~ for SSA_NAME: _59 in statement: _36 = _59; during GIMPLE pass: vect tc.i:4:6: internal compiler error: verify_ssa failed 0x1052d12 verify_ssa(bool, bool) /home/marxin/Programming/gcc/gcc/tree-ssa.c:1208 0xd4b065 execute_function_todo /home/marxin/Programming/gcc/gcc/passes.c:1992 0xd4bd0e execute_todo /home/marxin/Programming/gcc/gcc/passes.c:2039 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.