This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: alias analysis
- From: Jim Wilson <wilson at specifixinc dot com>
- To: Umar Janjua <Umar dot Janjua at cl dot cam dot ac dot uk>
- Cc: gcc at gcc dot gnu dot org
- Date: Fri, 19 Dec 2003 13:12:54 -0800
- Subject: Re: alias analysis
- References: <E1AX1ii-00022G-00@wisbech.cl.cam.ac.uk>
Umar Janjua wrote:
What kind of alias analysis is performed by GCC.
Current gcc sources do ad-hoc alias analysis. We do some tests based on
type info, using C rules for aliasing of types. We do some tests based
on where an object lives, e.g. stack addresses can't alias heap address.
We check the actual pointer values if we have them. Etc. See the
code in alias.c.
On the tree-ssa branch there is quite a bit more, for instance, an
implementation of Andersen's points-to analysis.
--
Jim Wilson, GNU Tools Support, http://www.SpecifixInc.com