This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [sa]: Revert partial def stuff, use fake variables instead
Hello,
> >this is basically what I do now. The problematic case is if you turn a[i]
> >into *newiv_1. Then we have to get tags for the newiv_1 pointer, which
> >is problematic (see the discussion following
> >http://gcc.gnu.org/ml/gcc-patches/2004-09/msg01897.html for details).
>
> If you have turned a non-pointer access into a pointer access, then you
> *have* to either rerun alias analysis, or create name/type tags with the
> approriate aliases (if you know them).
which seems terribly wrong to me. Why should I need to change anything
so complicated, when I did not make any change that should affect
results of alias analysis? It just speaks of a wrong design to me
(and since you are now making significant changes to the system, would
not it be a nice opportunity to change it? :-)
Zdenek