On Thu, 12 Nov 2020 at 06:56, Jason Merrill via Gcc-patches <gcc-patches@gcc.gnu.org> wrote: > > If DECL_INITIAL isn't set, we can't emit anything about the body of the > function, so add the declaration attribute. > > Tested x86_64-pc-linux-gnu, applying to trunk. > > gcc/ChangeLog: > > PR debug/97060 > * dwarf2out.c (gen_subprogram_die): It's a declaration > if DECL_INITIAL isn't set. > > gcc/testsuite/ChangeLog: > > PR debug/97060 > * gcc.dg/debug/dwarf2/pr97060.c: New test.
The new test fails on arm / aarch64, at least on the gcc-10 branch. Can you check? Thanks > --- > gcc/dwarf2out.c | 1 + > gcc/testsuite/gcc.dg/debug/dwarf2/pr97060.c | 13 +++++++++++++ > 2 files changed, 14 insertions(+) > create mode 100644 gcc/testsuite/gcc.dg/debug/dwarf2/pr97060.c > > diff --git a/gcc/dwarf2out.c b/gcc/dwarf2out.c > index bc32a17efcd..a5aaa6c34da 100644 > --- a/gcc/dwarf2out.c > +++ b/gcc/dwarf2out.c > @@ -22849,6 +22849,7 @@ gen_subprogram_die (tree decl, dw_die_ref context_die) > available. > */ > int declaration = (current_function_decl != decl > + || (!DECL_INITIAL (decl) && !origin) > || class_or_namespace_scope_p (context_die)); > > /* A declaration that has been previously dumped needs no > diff --git a/gcc/testsuite/gcc.dg/debug/dwarf2/pr97060.c > b/gcc/testsuite/gcc.dg/debug/dwarf2/pr97060.c > new file mode 100644 > index 00000000000..c07b9046d9a > --- /dev/null > +++ b/gcc/testsuite/gcc.dg/debug/dwarf2/pr97060.c > @@ -0,0 +1,13 @@ > +/* PR debug/97060 */ > +/* { dg-do compile } */ > +/* { dg-options "-g -dA" } */ > +/* { dg-final { scan-assembler-times "DW_AT_declaration" 2 } } */ > + > +extern int foo (unsigned int, unsigned int); > + > +int > +bar (void) > +{ > + foo (1, 2); > + return 0; > +} > > base-commit: 7a9a5d1a61c7b8111557261a8d275a531812b50e > -- > 2.18.4 >