diff mbox

fix darwin bootstrap by avoiding duplicate DIE attributes

Message ID 557995A5.3000203@redhat.com
State New
Headers show

Commit Message

Aldy Hernandez June 11, 2015, 2:05 p.m. UTC
Hi.

As explained in the PR, this patch fixes all the duplicate DIE attribute 
issues seen in Darwin.

This patch fixes real problems on Linux as well, but they're silently 
ignored by Linux's more permissive linker.  I have enhanced check_die() 
to check for these duplicate attributes in the future.

Comment #8 explains the add_location_or_const_value_attribute change and 
its testcase.

Everything else is pretty obvious.

Tested on x86_64 Linux and x86_64-apple-darwin*.

OK for mainline?
commit 8645dcda5e98879d05c4eb7eb8fcc6699093494b
Author: Aldy Hernandez <aldyh@redhat.com>
Date:   Tue Jun 9 18:07:44 2015 -0400

    	PR bootstrap/66448
    	* dwarf2out.c (get_AT): Add "follow" argument.
    	(check_die): Check for common duplicate attributes.
    	(add_location_or_const_value_attribute): Do not add duplicate
    	attributes.
    	(gen_formal_parameter_die): Do not add DW_AT_artificial the second
    	time around.
    	(gen_struct_or_union_type_die): Bail early if TREE_ASM_WRITTEN.
    	(gen_type_die_with_usage): Call check_die.
diff mbox

Patch

diff --git a/gcc/dwarf2out.c b/gcc/dwarf2out.c
index ee2bcb1..9a95ba0 100644
--- a/gcc/dwarf2out.c
+++ b/gcc/dwarf2out.c
@@ -3089,7 +3089,7 @@  static void add_AT_offset (dw_die_ref, enum dwarf_attribute,
 static void add_AT_range_list (dw_die_ref, enum dwarf_attribute,
                                unsigned long, bool);
 static inline const char *AT_lbl (dw_attr_ref);
-static dw_attr_ref get_AT (dw_die_ref, enum dwarf_attribute);
+static dw_attr_ref get_AT (dw_die_ref, enum dwarf_attribute, bool follow = true);
 static const char *get_AT_low_pc (dw_die_ref);
 static const char *get_AT_hi_pc (dw_die_ref);
 static const char *get_AT_string (dw_die_ref, enum dwarf_attribute);
@@ -4579,10 +4579,14 @@  AT_lbl (dw_attr_ref a)
   return a->dw_attr_val.v.val_lbl_id;
 }
 
-/* Get the attribute of type attr_kind.  */
+/* Get the attribute of type attr_kind.
+
+   FOLLOW is true if we should drill down through DW_AT_specification
+   and DW_AT_abstract_origin attributes.  */
 
 static dw_attr_ref
-get_AT (dw_die_ref die, enum dwarf_attribute attr_kind)
+get_AT (dw_die_ref die, enum dwarf_attribute attr_kind,
+	bool follow /*= true*/)
 {
   dw_attr_ref a;
   unsigned ix;
@@ -4594,8 +4598,8 @@  get_AT (dw_die_ref die, enum dwarf_attribute attr_kind)
   FOR_EACH_VEC_SAFE_ELT (die->die_attr, ix, a)
     if (a->dw_attr == attr_kind)
       return a;
-    else if (a->dw_attr == DW_AT_specification
-	     || a->dw_attr == DW_AT_abstract_origin)
+    else if (follow && (a->dw_attr == DW_AT_specification
+			|| a->dw_attr == DW_AT_abstract_origin))
       spec = AT_ref (a);
 
   if (spec)
@@ -5690,20 +5694,55 @@  debug_dwarf (void)
 static void
 check_die (dw_die_ref die)
 {
-  /* A debugging information entry that is a member of an abstract
-     instance tree [that has DW_AT_inline] should not contain any
-     attributes which describe aspects of the subroutine which vary
-     between distinct inlined expansions or distinct out-of-line
-     expansions.  */
   unsigned ix;
   dw_attr_ref a;
   bool inline_found = false;
+  int n_location = 0, n_low_pc = 0, n_high_pc = 0, n_artificial = 0;
+  int n_decl_line = 0, n_decl_file = 0;
   FOR_EACH_VEC_SAFE_ELT (die->die_attr, ix, a)
-    if (a->dw_attr == DW_AT_inline && a->dw_attr_val.v.val_unsigned)
-      inline_found = true;
+    {
+      switch (a->dw_attr)
+	{
+	case DW_AT_inline:
+	  if (a->dw_attr_val.v.val_unsigned)
+	    inline_found = true;
+	  break;
+	case DW_AT_location:
+	  ++n_location;
+	  break;
+	case DW_AT_low_pc:
+	  ++n_low_pc;
+	  break;
+	case DW_AT_high_pc:
+	  ++n_high_pc;
+	  break;
+	case DW_AT_artificial:
+	  ++n_artificial;
+	  break;
+	case DW_AT_decl_line:
+	  ++n_decl_line;
+	  break;
+	case DW_AT_decl_file:
+	  ++n_decl_file;
+	  break;
+	default:
+	  break;
+	}
+    }
+  if (n_location > 1 || n_low_pc > 1 || n_high_pc > 1 || n_artificial > 1
+      || n_decl_line > 1 || n_decl_file > 1)
+    {
+      fprintf (stderr, "Duplicate attributes in DIE:\n");
+      debug_dwarf_die (die);
+      gcc_unreachable ();
+    }
   if (inline_found)
     {
-      /* Catch the most common mistakes.  */
+      /* A debugging information entry that is a member of an abstract
+	 instance tree [that has DW_AT_inline] should not contain any
+	 attributes which describe aspects of the subroutine which vary
+	 between distinct inlined expansions or distinct out-of-line
+	 expansions.  */
       FOR_EACH_VEC_SAFE_ELT (die->die_attr, ix, a)
 	gcc_assert (a->dw_attr != DW_AT_low_pc
 		    && a->dw_attr != DW_AT_high_pc
@@ -16095,6 +16134,9 @@  add_location_or_const_value_attribute (dw_die_ref die, tree decl, bool cache_p,
   if (TREE_CODE (decl) == ERROR_MARK)
     return false;
 
+  if (get_AT (die, attr, /*follow=*/false))
+    return true;
+
   gcc_assert (TREE_CODE (decl) == VAR_DECL || TREE_CODE (decl) == PARM_DECL
 	      || TREE_CODE (decl) == RESULT_DECL);
 
@@ -18055,10 +18097,9 @@  gen_formal_parameter_die (tree node, tree origin, bool emit_name_p,
 				decl_quals (node_or_origin),
 				context_die);
 	}
-    add_location:
       if (origin == NULL && DECL_ARTIFICIAL (node))
 	add_AT_flag (parm_die, DW_AT_artificial, 1);
-
+    add_location:
       if (node && node != origin)
         equate_decl_number_to_die (node, parm_die);
       if (! DECL_ABSTRACT_P (node_or_origin))
@@ -20354,15 +20395,19 @@  static void
 gen_struct_or_union_type_die (tree type, dw_die_ref context_die,
 				enum debug_info_usage usage)
 {
-  /* Fill in the bound of variable-length fields in late dwarf if
-     still incomplete.  */
-  if (TREE_ASM_WRITTEN (type)
-      && variably_modified_type_p (type, NULL)
-      && !early_dwarf)
+  if (TREE_ASM_WRITTEN (type))
     {
-      tree member;
-      for (member = TYPE_FIELDS (type); member; member = DECL_CHAIN (member))
-	fill_variable_array_bounds (TREE_TYPE (member));
+      /* Fill in the bound of variable-length fields in late dwarf if
+	 still incomplete.  */
+      if (variably_modified_type_p (type, NULL)
+	  && !early_dwarf)
+	{
+	  tree member;
+	  for (member = TYPE_FIELDS (type);
+	       member;
+	       member = DECL_CHAIN (member))
+	    fill_variable_array_bounds (TREE_TYPE (member));
+	}
       return;
     }
 
@@ -20842,7 +20887,13 @@  gen_type_die_with_usage (tree type, dw_die_ref context_die,
 static void
 gen_type_die (tree type, dw_die_ref context_die)
 {
-  gen_type_die_with_usage (type, context_die, DINFO_USAGE_DIR_USE);
+  if (type != error_mark_node)
+    {
+      gen_type_die_with_usage (type, context_die, DINFO_USAGE_DIR_USE);
+      dw_die_ref die = lookup_type_die (type);
+      if (die)
+	check_die (die);
+    }
 }
 
 /* Generate a DW_TAG_lexical_block DIE followed by DIEs to represent all of the