https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94443
--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> --- $ cat sparsity_pattern.ii int a; unsigned *b; class A { A(); }; A::A() { for (unsigned i; i <= a; ++i, ++b) ; } $ g++ -O3 -march=znver2 sparsity_pattern.ii sparsity_pattern.ii: In constructor 'A::A()': sparsity_pattern.ii:6:1: error: missing definition 6 | A::A() { | ^ for SSA_NAME: _59 in statement: _36 = _59; during GIMPLE pass: vect sparsity_pattern.ii:6:1: internal compiler error: verify_ssa failed 0x12bc552 verify_ssa(bool, bool) /home/marxin/Programming/gcc/gcc/tree-ssa.c:1208 0xfbcd55 execute_function_todo /home/marxin/Programming/gcc/gcc/passes.c:1992 0xfbd9fe 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.