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(-) >