diff options
| author | Martin Liska <mliska@suse.cz> | 2020-02-18 15:07:06 +0100 |
|---|---|---|
| committer | Martin Liska <mliska@suse.cz> | 2020-02-18 15:07:06 +0100 |
| commit | 08afe87b7976e93197a66e01f93191ead496ad42 (patch) | |
| tree | 9aeb4d9cbac4eea7b871c24ba4ceab1124a262b7 /gcc | |
| parent | 33351ff9faa21c4c1af377d661a52ac0ce366db3 (diff) | |
| download | gcc-08afe87b7976e93197a66e01f93191ead496ad42.zip gcc-08afe87b7976e93197a66e01f93191ead496ad42.tar.gz gcc-08afe87b7976e93197a66e01f93191ead496ad42.tar.bz2 | |
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.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/ipa-icf-gimple.c | 4 |
2 files changed, 8 insertions, 2 deletions
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"); |