tree-ssa.c (useless_type_conversion_p_1): Only for types that require structural…

tree-ssa.c (useless_type_conversion_p_1): Only for types that require structural equality defer to the langhook.

2009-08-07  Richard Guenther  <rguenther@suse.de>

	* tree-ssa.c (useless_type_conversion_p_1): Only for types
	that require structural equality defer to the langhook.

From-SVN: r150559

gcc/ChangeLog

+2009-08-07  Richard Guenther  <rguenther@suse.de>
+
+	* tree-ssa.c (useless_type_conversion_p_1): Only for types
+	that require structural equality defer to the langhook.
+
 2009-08-07  Martin Jambor  <mjambor@suse.cz>
 
 	* ipa-prop.h (enum jump_func_type): New value IPA_JF_ANCESTOR, changed

gcc/tree-ssa.c

@@ -1073,11 +1073,11 @@ useless_type_conversion_p_1 (tree outer_type, tree inner_type)
   else if (AGGREGATE_TYPE_P (inner_type)
 	   && TREE_CODE (inner_type) == TREE_CODE (outer_type))
     {
-      /* ???  This seems to be necessary even for aggregates that don't
-	 have TYPE_STRUCTURAL_EQUALITY_P set.  */
+      if (TYPE_STRUCTURAL_EQUALITY_P (outer_type)
+	  || TYPE_STRUCTURAL_EQUALITY_P (inner_type))
+	return lang_hooks.types_compatible_p (inner_type, outer_type);
 
-      /* ???  This should eventually just return false.  */
-      return lang_hooks.types_compatible_p (inner_type, outer_type);
+      return false;
     }
   
   return false;