https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121668
--- Comment #4 from Sam James <sjames at gcc dot gnu.org> --- The loop does: while (insn && !NONDEBUG_INSN_P (insn)) { gcc_assert (NOTE_P (insn) && (NOTE_KIND (insn) == NOTE_INSN_FUNCTION_BEG || NOTE_KIND (insn) == NOTE_INSN_BASIC_BLOCK)); .. insn = NEXT_INSN (insn); } already?