From: jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Thu, 20 Sep 2007 21:27:39 +0000 (+0000)
Subject: 	PR debug/33316
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=029dbf299ef5c5bf66df9c595e955a55bd6204cc;p=thirdparty%2Fgcc.git

	PR debug/33316
	* dwarf2out.c (modified_type_die): Handle TYPE_DECL with NULL
	DECL_NAME.
	* dbxout.c (dbxout_type): Likewise.

	* gcc.dg/debug/pr33316.c: New test.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@128631 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d2f5a59366a1..1a69d02d80df 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,10 @@
 2007-09-20  Jakub Jelinek  <jakub@redhat.com>
 
+	PR debug/33316
+	* dwarf2out.c (modified_type_die): Handle TYPE_DECL with NULL
+	DECL_NAME.
+	* dbxout.c (dbxout_type): Likewise.
+
 	PR c/33238
 	PR c/27301
 	* gimplify.c (gimplify_vla_decl): New function.
diff --git a/gcc/dbxout.c b/gcc/dbxout.c
index 2494eda46bea..ad1b3c76eddf 100644
--- a/gcc/dbxout.c
+++ b/gcc/dbxout.c
@@ -2029,7 +2029,11 @@ dbxout_type (tree type, int full)
 	       another type's definition; instead, output an xref
 	       and let the definition come when the name is defined.  */
 	    stabstr_S ((TREE_CODE (type) == RECORD_TYPE) ? "xs" : "xu");
-	    if (TYPE_NAME (type) != 0)
+	    if (TYPE_NAME (type) != 0
+		/* The C frontend creates for anonymous variable length
+		   records/unions TYPE_NAME with DECL_NAME NULL.  */
+		&& (TREE_CODE (TYPE_NAME (type)) != TYPE_DECL
+		    || DECL_NAME (TYPE_NAME (type))))
 	      dbxout_type_name (type);
 	    else
 	      {
diff --git a/gcc/dwarf2out.c b/gcc/dwarf2out.c
index 527de82dd5d5..3164d70d6d36 100644
--- a/gcc/dwarf2out.c
+++ b/gcc/dwarf2out.c
@@ -8724,7 +8724,8 @@ modified_type_die (tree type, int is_const_type, int is_volatile_type,
      don't output a DW_TAG_typedef, since there isn't one in the
      user's program; just attach a DW_AT_name to the type.  */
   if (name
-      && (TREE_CODE (name) != TYPE_DECL || TREE_TYPE (name) == qualified_type))
+      && (TREE_CODE (name) != TYPE_DECL
+	  || (TREE_TYPE (name) == qualified_type && DECL_NAME (name))))
     {
       if (TREE_CODE (name) == TYPE_DECL)
 	/* Could just call add_name_and_src_coords_attributes here,
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f1186e80f6f5..9974bc3a0ece 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2007-09-20  Jakub Jelinek  <jakub@redhat.com>
 
+	PR debug/33316
+	* gcc.dg/debug/pr33316.c: New test.
+
 	PR c++/33496
 	* g++.dg/cpp0x/variadic76.C: New test.
 	* g++.dg/cpp0x/variadic77.C: New test.
diff --git a/gcc/testsuite/gcc.dg/debug/pr33316.c b/gcc/testsuite/gcc.dg/debug/pr33316.c
new file mode 100644
index 000000000000..d43478bb54f5
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/debug/pr33316.c
@@ -0,0 +1,15 @@
+/* PR debug/33316 */
+
+int
+foo (void *x, int y)
+{
+  const struct { int d[y]; } *a = x;
+  return a[0].d[0];
+}
+
+int
+bar (void *x, int y)
+{
+  const struct S { int d[y]; } *a = x;
+  return a[0].d[0];
+}