tree-ssa.c (tree_ssa_useless_type_conversion_1): Fix comments.
authorRichard Guenther <rguenth@gcc.gnu.org>
Tue, 7 Jun 2005 10:05:09 +0000 (10:05 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Tue, 7 Jun 2005 10:05:09 +0000 (10:05 +0000)
2005-06-07  Richard Guenther  <rguenth@gcc.gnu.org>

* tree-ssa.c (tree_ssa_useless_type_conversion_1): Fix
comments.

From-SVN: r100704

gcc/ChangeLog
gcc/tree-ssa.c

index 356b35e6c8c3a5fb98a2789b126f691de2d6a11e..6deb5e0779c034705cd8dc07aa37422b3975623c 100644 (file)
@@ -1,3 +1,8 @@
+2005-06-07  Richard Guenther  <rguenth@gcc.gnu.org>
+
+       * tree-ssa.c (tree_ssa_useless_type_conversion_1): Fix
+       comments.
+
 2005-06-07  Geoffrey Keating  <geoffk@apple.com>
 
        * config/rs6000/host-darwin.c (segv_handler): Widen the possible
index 03e39a5ee552e60c323dd92c52b1a2209c6b94ff..0a83b786b7de763a15d17fe70d29a77d1d4a5c00 100644 (file)
@@ -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)