This is the mail archive of the
mailing list for the GCC project.
Re: [sa]: Revert partial def stuff, use fake variables instead
Zdenek Dvorak wrote:
Hello,But. you. have. to. update. your. internal. data. structures.
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?
You *have* changed the results of alias analysis. You are introducing a
new pointer, assigning it a new address and dereferencing it.
and what? I am accessing exactly the same location in memory, so from
the point of *results* of the alias analysis nothing changes.
Can you not understand such a simple concept? I'm not saying you have
to re-run aliasing again. It would be paramount to forcing you to
rebuild the CFG after you inserted a statement in the IL.
We just need a way of telling the alias system that this pointer points
to this location using this tag. Even if we were to change the whole
aliasing representation (which may happen), we would still need to
update whatever data structure the new system had.
This is very basic stuff. I cannot believe we are having this discussion.