re PR ada/36957 (ACATS ce3801b ICE emit_move_insn, at expr.c:3381 post tuple merge)

2008-07-28  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/36957
	* tree-flow.h (tree_ssa_useless_type_conversion): Remove.
	(useless_type_conversion_p): Remove.
	(types_compatible_p): Remove.
	* gimple.h (tree_ssa_useless_type_conversion): Declare.
	(useless_type_conversion_p): Declare.
	(types_compatible_p): Declare.
	(gimple_expr_type): Return the base type only if it is
	trivially convertible to the subtype.

From-SVN: r138217

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 77face9d4be7077478de478c362a5e59a015cd5b..aa4d3b2d9837eaa3b647dc2745158763a6c49e2c 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,15 @@
+2008-07-28  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/36957
+       * tree-flow.h (tree_ssa_useless_type_conversion): Remove.
+       (useless_type_conversion_p): Remove.
+       (types_compatible_p): Remove.
+       * gimple.h (tree_ssa_useless_type_conversion): Declare.
+       (useless_type_conversion_p): Declare.
+       (types_compatible_p): Declare.
+       (gimple_expr_type): Return the base type only if it is
+       trivially convertible to the subtype.
+
 2008-07-28  Andreas Tobler  <a.tobler@schweiz.org>
 
        * configure.ac: Use the m4_do macro to concatenate the warnings into

diff --git a/gcc/gimple.h b/gcc/gimple.h
index 744461d7310db08a019cf179e774da0ce7a055a7..0c11f3ebfa781be3a7b73119cccca584f8935d16 100644 (file)
--- a/gcc/gimple.h
+++ b/gcc/gimple.h
@@ -1007,6 +1007,11 @@ extern bool validate_gimple_arglist (const_gimple, ...);
 /* In tree-ssa-operands.c  */
 extern void gimple_add_to_addresses_taken (gimple, tree);
 
+/* In tree-ssa.c  */
+extern bool tree_ssa_useless_type_conversion (tree);
+extern bool useless_type_conversion_p (tree, tree);
+extern bool types_compatible_p (tree, tree);
+
 /* Return the code for GIMPLE statement G.  */
 
 static inline enum gimple_code
@@ -1394,7 +1399,9 @@ gimple_expr_type (const_gimple stmt)
         convertible to one of its sub-types.  So always return
         the base type here.  */
       if (INTEGRAL_TYPE_P (type)
-         && TREE_TYPE (type))
+         && TREE_TYPE (type)
+         /* But only if they are trivially convertible.  */
+         && useless_type_conversion_p (type, TREE_TYPE (type)))
        type = TREE_TYPE (type);
       return type;
     }

diff --git a/gcc/tree-flow.h b/gcc/tree-flow.h
index 96c4795fef0af96de7cc4f230fe6ba9c2d5a4065..1e94037f7376033166d223f4c2e0cb3e09e4302f 100644 (file)
--- a/gcc/tree-flow.h
+++ b/gcc/tree-flow.h
@@ -867,9 +867,6 @@ extern void redirect_edge_var_map_destroy (void);
 
 extern edge ssa_redirect_edge (edge, basic_block);
 extern void flush_pending_stmts (edge);
-extern bool tree_ssa_useless_type_conversion (tree);
-extern bool useless_type_conversion_p (tree, tree);
-extern bool types_compatible_p (tree, tree);
 extern void verify_ssa (bool);
 extern void delete_tree_ssa (void);
 extern void walk_use_def_chains (tree, walk_use_def_chains_fn, void *, bool);