This is the mail archive of the
mailing list for the GCC project.
Re: [PATCH] Fix inconsistent pruning of aliases
On 11/20/07, Richard Guenther <firstname.lastname@example.org> wrote:
> On Tue, 20 Nov 2007, Daniel Berlin wrote:
> > On 11/20/07, Richard Guenther <email@example.com> wrote:
> > At this point, you need to recompute aliasing (or move propagation to
> > a different point).
> > Trying to work around that is not going to work very well, it's not
> > what the machinery is meant for.
> Uhm, so we need to re-run may_alias after every copy-propagation?
> p_2 = p_1
You at least need to copy the NMT from p_2 to p_1, yes.
You can't add new dereferences without doing *something* to inform the
alias machinery that new dereferences have occurred.