From: Martin Liska Date: Fri, 3 Apr 2020 07:05:06 +0000 (+0200) Subject: ICF: compare type attributes for gimple_call_fntypes. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=55a7380213a5c16120d5c674fb42b38a3d796b57;p=gcc.git ICF: compare type attributes for gimple_call_fntypes. PR ipa/94445 * ipa-icf-gimple.c (func_checker::compare_gimple_call): Compare type attributes for gimple_call_fntypes. --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8c57cd58629..3087c58806d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2020-04-03 Martin Liska + + PR ipa/94445 + * ipa-icf-gimple.c (func_checker::compare_gimple_call): + Compare type attributes for gimple_call_fntypes. + 2020-04-02 Sandra Loosemore * alias.c (get_alias_set): Fix comment typos. diff --git a/gcc/ipa-icf-gimple.c b/gcc/ipa-icf-gimple.c index d306fec56ce..1cd5872c03d 100644 --- a/gcc/ipa-icf-gimple.c +++ b/gcc/ipa-icf-gimple.c @@ -37,6 +37,7 @@ along with GCC; see the file COPYING3. If not see #include "tree-eh.h" #include "builtins.h" #include "cfgloop.h" +#include "attribs.h" #include "ipa-icf-gimple.h" @@ -570,6 +571,9 @@ func_checker::compare_gimple_call (gcall *s1, gcall *s2) || (fntype1 && !types_compatible_p (fntype1, fntype2))) return return_false_with_msg ("call function types are not compatible"); + if (fntype1 && fntype2 && comp_type_attributes (fntype1, fntype2) != 1) + return return_false_with_msg ("different fntype attributes"); + tree chain1 = gimple_call_chain (s1); tree chain2 = gimple_call_chain (s2); if ((chain1 && !chain2)