diff options
| author | Richard Guenther <rguenth@gcc.gnu.org> | 2005-06-07 10:05:09 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2005-06-07 10:05:09 +0000 |
| commit | e0004427824f78e9ab1ec2a1eb241ff49fb4f8a1 (patch) | |
| tree | 6b0e38bdf68aa0c276dc420f0805185225679cc1 /gcc/tree-ssa.c | |
| parent | 789ec6199a5db1e195ac735d25b47b0c25ffb2d6 (diff) | |
| download | gcc-e0004427824f78e9ab1ec2a1eb241ff49fb4f8a1.zip gcc-e0004427824f78e9ab1ec2a1eb241ff49fb4f8a1.tar.gz gcc-e0004427824f78e9ab1ec2a1eb241ff49fb4f8a1.tar.bz2 | |
tree-ssa.c (tree_ssa_useless_type_conversion_1): Fix comments.
2005-06-07 Richard Guenther <rguenth@gcc.gnu.org>
* tree-ssa.c (tree_ssa_useless_type_conversion_1): Fix
comments.
From-SVN: r100704
Diffstat (limited to 'gcc/tree-ssa.c')
| -rw-r--r-- | gcc/tree-ssa.c | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index 03e39a5..0a83b78 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -849,8 +849,8 @@ delete_tree_ssa (void) } -/* Return true if EXPR is a useless type conversion, otherwise return - false. */ +/* Return true if the conversion from INNER_TYPE to OUTER_TYPE is a + useless type conversion, otherwise return false. */ bool tree_ssa_useless_type_conversion_1 (tree outer_type, tree inner_type) @@ -881,8 +881,9 @@ tree_ssa_useless_type_conversion_1 (tree outer_type, tree inner_type) && TREE_CODE (TREE_TYPE (outer_type)) == VOID_TYPE) return true; - /* Pointers and references are equivalent once we get to GENERIC, - so strip conversions that just switch between them. */ + /* Pointers/references are equivalent if their pointed to types + are effectively the same. This allows to strip conversions between + pointer types with different type qualifiers. */ else if (POINTER_TYPE_P (inner_type) && POINTER_TYPE_P (outer_type) && TYPE_REF_CAN_ALIAS_ALL (inner_type) |