On Fri, Oct 9, 2015 at 1:21 AM, Jan Hubicka <hubi...@ucw.cz> wrote:
> Hi,
> this is a bug I noticed while reading the code. We can not assume
> interposable
> objects to be equivalent unless they are actually the same symbols.
>
> Bootstrapped/regtested x86_64-linux, comitted.
Backport?
> Honza
>
> * ipa-icf.c (sem_item::compare_symbol_references): Fix use
> of availability.
> Index: ipa-icf.c
> ===================================================================
> --- ipa-icf.c (revision 228625)
> +++ ipa-icf.c (working copy)
> @@ -521,8 +521,8 @@ sem_item::compare_symbol_references (
> n1 = n1->ultimate_alias_target (&avail1);
> n2 = n2->ultimate_alias_target (&avail2);
>
> - if (avail1 >= AVAIL_INTERPOSABLE && ignored_nodes.get (n1)
> - && avail2 >= AVAIL_INTERPOSABLE && ignored_nodes.get (n2))
> + if (avail1 > AVAIL_INTERPOSABLE && ignored_nodes.get (n1)
> + && avail2 > AVAIL_INTERPOSABLE && ignored_nodes.get (n2))
> return true;
>
> return return_false_with_msg ("different references");
