On Tue, Aug 6, 2019 at 5:43 PM Martin Liska <mli...@suse.cz> wrote:

This warrants a comment like

  /* This function originally abstracts from simply comparing
get_deref_alias_set
     so that we are sure this still computes the same result after LTO
type merging
     is applied.  When in LTO type merging is done we can actually do
this compare.  */
  if (in_lto_p)
    return get_deref_alias_set (t1) == get_deref_alias_set (t2);
...

also note you want to call get_deref_alias_set as mentioned in the
function comment.

OK with this change.

Thanks,
Richard.

> gcc/ChangeLog:
>
> 2019-07-24  Martin Liska  <mli...@suse.cz>
>
>         * alias.c (alias_ptr_types_compatible_p): Strengten
>         type comparison in LTO mode.
> ---
>  gcc/alias.c | 7 +++++--
>  1 file changed, 5 insertions(+), 2 deletions(-)
>

Reply via email to