summaryrefslogtreecommitdiff
path: root/gcc/gimple.c
diff options
context:
space:
mode:
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>2010-05-08 12:06:57 +0000
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>2010-05-08 12:06:57 +0000
commitc9d19f43d70873e74aa3b03270d6b5c06256b68a (patch)
tree57e6668227eb70406d56df0c6b6cd2991214eb57 /gcc/gimple.c
parent7640ed3d8a38f4eedd02419fb353ac66320fc78e (diff)
downloadgcc-c9d19f43d70873e74aa3b03270d6b5c06256b68a.tar.gz
* gimple.c (gimple_types_compatible_p) <ARRAY_TYPE>: Treat bounds of
domain types as equal if they are both PLACEHOLDER_EXPRs. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@159185 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/gimple.c')
-rw-r--r--gcc/gimple.c10
1 files changed, 8 insertions, 2 deletions
diff --git a/gcc/gimple.c b/gcc/gimple.c
index 6d439c553a2..d9a613ad189 100644
--- a/gcc/gimple.c
+++ b/gcc/gimple.c
@@ -3305,9 +3305,15 @@ gimple_types_compatible_p (tree t1, tree t2)
/* The minimum/maximum values have to be the same. */
if ((min1 == min2
- || (min1 && min2 && operand_equal_p (min1, min2, 0)))
+ || (min1 && min2
+ && ((TREE_CODE (min1) == PLACEHOLDER_EXPR
+ && TREE_CODE (min2) == PLACEHOLDER_EXPR)
+ || operand_equal_p (min1, min2, 0))))
&& (max1 == max2
- || (max1 && max2 && operand_equal_p (max1, max2, 0))))
+ || (max1 && max2
+ && ((TREE_CODE (max1) == PLACEHOLDER_EXPR
+ && TREE_CODE (max2) == PLACEHOLDER_EXPR)
+ || operand_equal_p (max1, max2, 0)))))
goto same_types;
else
goto different_types;