This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Type based alias analysis
- To: egcs at egcs dot cygnus dot com
- Subject: Type based alias analysis
- From: John Milford <jwm at CSUA dot Berkeley dot EDU>
- Date: Fri, 11 Jun 1999 14:24:18 -0700
- Reply-to: jwm at CSUA dot Berkeley dot EDU
With all the recent posts I have been trying to think of
a good way to make the transition easier. It sounds like adding
in warnings for non-conforming accesses would be very difficult,
but could the compiler document all of the assumptions it makes based
on this analysis by inserting code very much like an assert? This
would make testing large programs for problems with this optimization
much easier. I am not sure how difficult this would be, but I thought
I would through it out and see what people thought.
--John