tree.c (build_range_type_1): Do not set TYPE_STRUCTURAL_EQUALITY_P because of self...

	* tree.c (build_range_type_1): Do not set TYPE_STRUCTURAL_EQUALITY_P
	because of self-referential bounds.

From-SVN: r167297

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a6099b82c73841972cf305c8ffa26ada28c1c388..0a325cef2193569e21ab2df4d3d87fc95136c48f 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2010-11-30  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * tree.c (build_range_type_1): Do not set TYPE_STRUCTURAL_EQUALITY_P
+       because of self-referential bounds.
+
 2010-11-30  Joseph Myers  <joseph@codesourcery.com>
 
        * diagnostic-core.h: Include bversion.h.

diff --git a/gcc/tree.c b/gcc/tree.c
index 2f8d96ef4a2054da68715d6135ebb7835a68e0c6..d9a98f114391fa33cae1f9dde544fd3f34402b63 100644 (file)
--- a/gcc/tree.c
+++ b/gcc/tree.c
@@ -7110,9 +7110,11 @@ build_range_type_1 (tree type, tree lowval, tree highval, bool shared)
   TYPE_USER_ALIGN (itype) = TYPE_USER_ALIGN (type);
 
   if ((TYPE_MIN_VALUE (itype)
-       && TREE_CODE (TYPE_MIN_VALUE (itype)) != INTEGER_CST)
+       && TREE_CODE (TYPE_MIN_VALUE (itype)) != INTEGER_CST
+       && !CONTAINS_PLACEHOLDER_P (TYPE_MIN_VALUE (itype)))
       || (TYPE_MAX_VALUE (itype)
-         && TREE_CODE (TYPE_MAX_VALUE (itype)) != INTEGER_CST))
+         && TREE_CODE (TYPE_MAX_VALUE (itype)) != INTEGER_CST
+         && !CONTAINS_PLACEHOLDER_P (TYPE_MAX_VALUE (itype))))
     {
       /* Since we cannot reliably merge this type, we need to compare it using
         structural equality checks.  */