This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH][RFC][4.4] Add may-alias oracle, make SCCVN use it
> the two references i[0] and i[1] have !refs_must_alias_p relationship,
> while alias_sets_must_conflict_p returns true here. One could use
> alias_sets_must_conflict_p as "early out" if that returns false, but
> otherwise I don't see how this helps here.
Yes, that's what I was thinking of, like in refs_may_alias_p.
Btw, I don't think you need to test flag_strict_aliasing there.
--
Eric Botcazou