re PR c/34993 (ICE with attribute for array with unknown bound)

        PR c/34993
        * tree.c (build_type_attribute_qual_variant): Skip TYPE_DOMAIN
        for unbounded arrays.

From-SVN: r131970

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 783fd914f50858c2df351d8bb8d3c9a7850ab664..2ecebda493e8778b564fa907586f8e00eb71397f 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2008-01-30  Richard Henderson  <rth@redhat.com>
+
+       PR c/34993
+       * tree.c (build_type_attribute_qual_variant): Skip TYPE_DOMAIN
+       for unbounded arrays.
+
 2008-01-30  Silvius Rus  <rus@google.com>
 
        * config/i386/xmmintrin.h (_mm_prefetch): Add const to first arg.

diff --git a/gcc/testsuite/gcc.c-torture/compile/pr34993.c b/gcc/testsuite/gcc.c-torture/compile/pr34993.c
new file mode 100644 (file)
index 0000000..ced4d56
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr34993.c
@@ -0,0 +1,5 @@
+/* PR c/34993 */
+
+/* { dg-do compile } */
+
+typedef int x[] __attribute((may_alias));

diff --git a/gcc/tree.c b/gcc/tree.c
index f61e24bac09c98e3000f50af769b42ccb5835d08..043968cb95f22086879549046810979807a2625f 100644 (file)
--- a/gcc/tree.c
+++ b/gcc/tree.c
@@ -3701,8 +3701,9 @@ build_type_attribute_qual_variant (tree ttype, tree attribute, int quals)
          hashcode = type_hash_list (TYPE_ARG_TYPES (ntype), hashcode);
          break;
        case ARRAY_TYPE:
-         hashcode = iterative_hash_object (TYPE_HASH (TYPE_DOMAIN (ntype)),
-                                           hashcode);
+         if (TYPE_DOMAIN (ntype))
+           hashcode = iterative_hash_object (TYPE_HASH (TYPE_DOMAIN (ntype)),
+                                             hashcode);
          break;
        case INTEGER_TYPE:
          hashcode = iterative_hash_object