(build_array_type): The main variant of an array type

should always be an array whose element type is the main variant.

From-SVN: r4328

diff --git a/gcc/tree.c b/gcc/tree.c
index 7f13a3e696c60d362e3aac13f6735363ae0024a4..3953c43b83cac4fa94d3bbdcb15891cdfc5742a6 100644 (file)
--- a/gcc/tree.c
+++ b/gcc/tree.c
@@ -2792,6 +2792,12 @@ build_array_type (elt_type, index_type)
   TREE_TYPE (t) = elt_type;
   TYPE_DOMAIN (t) = index_type;
 
+  /* The main variant of an array type should always
+     be an array whose element type is the main variant.  */
+  if (elt_type != TYPE_MAIN_VARIANT (elt_type))
+    TYPE_MAIN_VARIANT (t) = build_array_type (TYPE_MAIN_VARIANT (elt_type),
+                                             index_type);
+
   if (index_type == 0)
     return t;