https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101598
--- Comment #1 from Tom de Vries <vries at gcc dot gnu.org> --- FWIW, this works for me: ... $ git diff diff --git a/gcc/dwarf2out.c b/gcc/dwarf2out.c index 82783c4968b..0e21775041c 100644 --- a/gcc/dwarf2out.c +++ b/gcc/dwarf2out.c @@ -28390,6 +28390,8 @@ dwarf2out_source_line (unsigned int line, unsigned int column, column = 0; file_num = maybe_emit_file (lookup_filename (filename)); + if (DECL_IGNORED_P (cfun->decl) && is_ada ()) + return; /* ??? TODO: Elide duplicate line number entries. Traditionally, the debugger has used the second (possibly duplicate) line number ...