re PR tree-optimization/49572 (gcc.dg/tree-ssa/20030709-2.c scan-tree-dump-times...

	PR tree-optimization/49572
	* tree-ssa-dom.c (initialize_hash_element) <GIMPLE_SINGLE_RHS>: Use the
	type of the RHS instead of that of the LHS for the expression type.

From-SVN: r175721

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c343b1685d255f141f83ca86881257979d5bf681..e7b1944278665cf272e00f96317321db2458943a 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2011-06-30  Eric Botcazou  <ebotcazou@adacore.com>
+
+       PR tree-optimization/49572
+       * tree-ssa-dom.c (initialize_hash_element) <GIMPLE_SINGLE_RHS>: Use the
+       type of the RHS instead of that of the LHS for the expression type.
+
 2011-06-30  Eric Botcazou  <ebotcazou@adacore.com>
 
        * df-scan.c (df_get_entry_block_def_set): Use INCOMING_REGNO macro

diff --git a/gcc/tree-ssa-dom.c b/gcc/tree-ssa-dom.c
index bbfe0bc8338ce4a3e7caeff16272d6750a5380f2..7a00c8ad937af10f4dc422a98b13e81b40bfb81c 100644 (file)
--- a/gcc/tree-ssa-dom.c
+++ b/gcc/tree-ssa-dom.c
@@ -208,13 +208,11 @@ initialize_hash_element (gimple stmt, tree lhs,
     {
       enum tree_code subcode = gimple_assign_rhs_code (stmt);
 
-      expr->type = NULL_TREE;
-
       switch (get_gimple_rhs_class (subcode))
         {
         case GIMPLE_SINGLE_RHS:
          expr->kind = EXPR_SINGLE;
-         expr->type = TREE_TYPE (gimple_assign_lhs (stmt));
+         expr->type = TREE_TYPE (gimple_assign_rhs1 (stmt));
          expr->ops.single.rhs = gimple_assign_rhs1 (stmt);
          break;
         case GIMPLE_UNARY_RHS: