This is the mail archive of the mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [sa]: Revert partial def stuff, use fake variables instead

Zdenek Dvorak wrote:

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.

But. you. have. to. update. your. internal. data. structures.

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.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]