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
...
