diff options
author | Richard Guenther <rguenther@suse.de> | 2012-07-13 08:15:10 +0000 |
---|---|---|
committer | Richard Biener <rguenth@gcc.gnu.org> | 2012-07-13 08:15:10 +0000 |
commit | a2faea4bdada3f2ce99afb15dcf55770c8f8ed92 (patch) | |
tree | 283ab34753e67a10bb84e38748af85a497a9f260 /gcc/gimple.c | |
parent | 306620d224594eaa3939a99487440764646ae7b3 (diff) | |
download | gcc-a2faea4bdada3f2ce99afb15dcf55770c8f8ed92.zip gcc-a2faea4bdada3f2ce99afb15dcf55770c8f8ed92.tar.gz gcc-a2faea4bdada3f2ce99afb15dcf55770c8f8ed92.tar.bz2 |
gimple.c (gimple_types_compatible_p_1): Remove redundant type attribute comparisons.
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.
From-SVN: r189453
Diffstat (limited to 'gcc/gimple.c')
-rw-r--r-- | gcc/gimple.c | 15 |
1 files changed, 0 insertions, 15 deletions
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. */ |