re PR debug/86413 (gcc.dg/guality/pr48437.c fail)

2018-07-09  Richard Biener  <rguenther@suse.de>

	PR debug/86413
	* dwarf2out.c (gen_block_die): For an early generated DIE
	always output high/low PC attributes.

From-SVN: r262511

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8add29b83a34b589a03cc36cb29acd219cd2e747..4295d5f2fb6276d48922661df35ec395b75c8399 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2018-07-09  Richard Biener  <rguenther@suse.de>
+
+       PR debug/86413
+       * dwarf2out.c (gen_block_die): For an early generated DIE
+       always output high/low PC attributes.
+
 2018-07-09  Tom de Vries  <tdevries@suse.de>
 
        * cfgexpand.c (expand_debug_source_expr): Handle VAR_DECL.

diff --git a/gcc/dwarf2out.c b/gcc/dwarf2out.c
index a7c4620cfc31b143db2b1fc4a189df884276ccc2..95232177d838cad1ca05f5462ed582c25901e8cd 100644 (file)
--- a/gcc/dwarf2out.c
+++ b/gcc/dwarf2out.c
@@ -25622,6 +25622,11 @@ gen_block_die (tree stmt, dw_die_ref context_die)
     /* The outer scopes for inlinings *must* always be represented.  We
        generate DW_TAG_inlined_subroutine DIEs for them.  (See below.) */
     must_output_die = 1;
+  else if (BLOCK_DIE (stmt))
+    /* If we already have a DIE then it was filled early.  Meanwhile
+       we might have pruned all BLOCK_VARS as optimized out but we
+       still want to generate high/low PC attributes so output it.  */
+    must_output_die = 1;
   else
     {
       /* Determine if this block directly contains any "significant"