diff options
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/gimple.c | 15 |
2 files changed, 6 insertions, 15 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e5637bf..1415b38 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2012-07-13 Richard Guenther <rguenther@suse.de> + + * gimple.c (gimple_types_compatible_p_1): Remove redundant + type attribute comparisons. + (gimple_canonical_types_compatible_p): Likewise. + 2012-07-12 Hans-Peter Nilsson <hp@axis.com> PR rtl-optimization/53176 diff --git a/gcc/gimple.c b/gcc/gimple.c index 398cb1f..b419591 100644 --- a/gcc/gimple.c +++ b/gcc/gimple.c @@ -3422,10 +3422,6 @@ gimple_types_compatible_p_1 (tree t1, tree t2, type_pair_t p, goto different_types; } - /* If their attributes are not the same they can't be the same type. */ - if (!attribute_list_equal (TYPE_ATTRIBUTES (t1), TYPE_ATTRIBUTES (t2))) - goto different_types; - /* Do type-specific comparisons. */ switch (TREE_CODE (t1)) { @@ -4449,10 +4445,6 @@ gimple_canonical_types_compatible_p (tree t1, tree t2) return true; } - /* If their attributes are not the same they can't be the same type. */ - if (!attribute_list_equal (TYPE_ATTRIBUTES (t1), TYPE_ATTRIBUTES (t2))) - return false; - /* Do type-specific comparisons. */ switch (TREE_CODE (t1)) { @@ -4499,13 +4491,6 @@ gimple_canonical_types_compatible_p (tree t1, tree t2) } case METHOD_TYPE: - /* Method types should belong to the same class. */ - if (!gimple_canonical_types_compatible_p - (TYPE_METHOD_BASETYPE (t1), TYPE_METHOD_BASETYPE (t2))) - return false; - - /* Fallthru */ - case FUNCTION_TYPE: /* Function types are the same if the return type and arguments types are the same. */ |