Restrict pointers

[Diego Novillo]

On Fri, 2004-03-12 at 10:27, Jan Hoogerbrugge wrote:

> What can we / I do to improve the handling of restrict pointers? Any idea
> of the difficulty and where to start?
> 
Could you take a look at tree-ssa?  We implement 3 alias analyses: flow
insensitive points-to, flow sensitive points-to and type based aliasing.

All these are implemented in tree-ssa-alias.c and tree-alias-*.c.  The
main driver for the alias pass is in
tree-ssa-alias.c:compute_may_aliases.  You will also find documentation
in doc/tree-ssa.texi.

Currently there is no special handling for restrict pointers (unless the
generic alias set routines in alias.c support it).


Diego.