Fw: [PATCH] ipa aliasing analysis

[Daniel Berlin]

> 
> In tree-ssa-alias.c, add_pointed_to_expr sets the SSA_NAMEs for x
> and y to points-to-anything immediately the first time it sees them.
> I don't see how you could explain to it that x and y may point to
> anything but not to each other.
> 
> The tree AA guru's are Diego and Dan, maybe they have ideas...

For this situation, TPO uses anti-aliasing sets and an anti-alias oracle.

This would be the equivalent of interfacing into may_alias_p and telling 
it p and q can't may alias.

> 
> 
> > So actually we have two possibilities here: to have three
> > separate files for ipaa, ipcp and ipa, or, alternatively, to have
> > all functionality in one file (what we have right now).
> > What would you prefer?
> 
> I would prefer three files.
> 
> Gr.
> Steven
>