From: Martin Liska <mliska@suse.cz>
Date: Tue, 18 Feb 2020 14:07:06 +0000 (+0100)
Subject: Always compare types of LHS for gimple_assign in ICF.
X-Git-Tag: upstream/12.2.0~18332
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=08afe87b7976e93197a66e01f93191ead496ad42;p=platform%2Fupstream%2Fgcc.git

Always compare types of LHS for gimple_assign in ICF.

	PR ipa/92518
	* ipa-icf-gimple.c (func_checker::compare_gimple_assign):
	Always compare LHS of gimple_assign.
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b4b4942..c107f19 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,11 @@
 2020-02-18  Martin Liska  <mliska@suse.cz>
 
+	PR ipa/92518
+	* ipa-icf-gimple.c (func_checker::compare_gimple_assign):
+	Always compare LHS of gimple_assign.
+
+2020-02-18  Martin Liska  <mliska@suse.cz>
+
 	PR ipa/93583
 	* cgraph.c (cgraph_node::verify_node): Verify MALLOC attribute
 	and return type of functions.
diff --git a/gcc/ipa-icf-gimple.c b/gcc/ipa-icf-gimple.c
index fa71a02..3e5b2d4 100644
--- a/gcc/ipa-icf-gimple.c
+++ b/gcc/ipa-icf-gimple.c
@@ -620,8 +620,8 @@ func_checker::compare_gimple_assign (gimple *s1, gimple *s2)
       arg1 = gimple_op (s1, i);
       arg2 = gimple_op (s2, i);
 
-      /* LHS types of NOP_EXPR must be compatible.  */
-      if (CONVERT_EXPR_CODE_P (code1) && i == 0)
+      /* Compare types for LHS.  */
+      if (i == 0)
 	{
 	  if (!compatible_types_p (TREE_TYPE (arg1), TREE_TYPE (arg2)))
 	    return return_false_with_msg ("GIMPLE NOP LHS type mismatch");