dwarf2: ICE with local class in unused function [PR97918]

Here, since we only mention bar<B>, we never emit debug information for it.
But we do emit debug information for H<J>::h, so we need to refer to the
debug info for bar<B>::J even though there is no bar<B>.  We deal with this
sort of thing in dwarf2out with the limbo_die_list; parentless dies like J
get attached to the CU at EOF.  But here, we were flushing the limbo list,
then generating the template argument DIE for H<J> that refers to J, which
adds J to the limbo list, too late to be flushed.  So let's flush a little
later.

gcc/ChangeLog:

	PR c++/97918
	* dwarf2out.c (dwarf2out_early_finish): flush_limbo_die_list
	after gen_scheduled_generic_parms_dies.

gcc/testsuite/ChangeLog:

	PR c++/97918
	* g++.dg/debug/localclass2.C: New test.
This commit is contained in:
Jason Merrill
2020-11-20 15:20:45 -05:00
parent 27c5416fc8
commit 89d9c634dc
2 changed files with 26 additions and 3 deletions

View File

@@ -32169,13 +32169,13 @@ dwarf2out_early_finish (const char *filename)
emit full debugging info for them. */
retry_incomplete_types ();
gen_scheduled_generic_parms_dies ();
gen_remaining_tmpl_value_param_die_attribute ();
/* The point here is to flush out the limbo list so that it is empty
and we don't need to stream it for LTO. */
flush_limbo_die_list ();
gen_scheduled_generic_parms_dies ();
gen_remaining_tmpl_value_param_die_attribute ();
/* Add DW_AT_linkage_name for all deferred DIEs. */
for (limbo_die_node *node = deferred_asm_name; node; node = node->next)
{

View File

@@ -0,0 +1,23 @@
// PR c++/97918
// { dg-additional-options "-g -O -flto" }
// { dg-do compile { target c++11 } }
namespace { class A {}; }
class B {};
template <typename T> struct H {
constexpr static unsigned h = 0;
};
template <typename T> A bar ()
{
struct J {
static void foo();
};
H<J>();
return A ();
}
void fn ()
{
bar<B>; // only mentions the function
}