re PR tree-optimization/41271 (FAIL: gcc.dg/matrix/matrix-2.c scan-ipa-dump-times...

2009-09-05  Richard Guenther  <rguenther@suse.de>

	PR middle-end/41271
	* tree-ssa.c (useless_type_conversion_p): Drop qualifiers
	before comparing function argument types.

From-SVN: r151453

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 09f480501ade346faeae84c6e3fc6ceb5708c4ae..a8c927f7d3a745f49b0a5a72a9455cc66a82a8f1 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2009-09-05  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/41271
+       * tree-ssa.c (useless_type_conversion_p): Drop qualifiers
+       before comparing function argument types.
+
 2009-09-05  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 
        PR target/41024

diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c
index db707fb35a9cfa64735add3a4ed8ba007d1bcd61..0ff4733f545678fe919b7c00516db8ee9e402f55 100644 (file)
--- a/gcc/tree-ssa.c
+++ b/gcc/tree-ssa.c
@@ -1289,7 +1289,8 @@ useless_type_conversion_p (tree outer_type, tree inner_type)
       if (!TYPE_ARG_TYPES (outer_type))
        return true;
 
-      /* If the argument types are compatible the conversion is useless.  */
+      /* If the unqualified argument types are compatible the conversion
+        is useless.  */
       if (TYPE_ARG_TYPES (outer_type) == TYPE_ARG_TYPES (inner_type))
        return true;
 
@@ -1298,8 +1299,9 @@ useless_type_conversion_p (tree outer_type, tree inner_type)
           outer_parm && inner_parm;
           outer_parm = TREE_CHAIN (outer_parm),
           inner_parm = TREE_CHAIN (inner_parm))
-       if (!useless_type_conversion_p (TREE_VALUE (outer_parm),
-                                       TREE_VALUE (inner_parm)))
+       if (!useless_type_conversion_p
+              (TYPE_MAIN_VARIANT (TREE_VALUE (outer_parm)),
+               TYPE_MAIN_VARIANT (TREE_VALUE (inner_parm))))
          return false;
 
       /* If there is a mismatch in the number of arguments the functions