diff options
author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-05-08 12:06:57 +0000 |
---|---|---|
committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-05-08 12:06:57 +0000 |
commit | c9d19f43d70873e74aa3b03270d6b5c06256b68a (patch) | |
tree | 57e6668227eb70406d56df0c6b6cd2991214eb57 /gcc/gimple.c | |
parent | 7640ed3d8a38f4eedd02419fb353ac66320fc78e (diff) | |
download | gcc-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.c | 10 |
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; |