From: Eric Botcazou <ebotcazou@adacore.com>
Date: Thu, 30 Jun 2011 19:32:23 +0000 (+0000)
Subject: re PR tree-optimization/49572 (gcc.dg/tree-ssa/20030709-2.c scan-tree-dump-times... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e2c9010ae86229c17b29cfdb83a5ac9d6c0299ba;p=gcc.git

re PR tree-optimization/49572 (gcc.dg/tree-ssa/20030709-2.c scan-tree-dump-times cddce2 ".rtmem" 0)

	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 c343b1685d2..e7b19442786 100644
--- 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 bbfe0bc8338..7a00c8ad937 100644
--- 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: