This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: RFA: Revamp fortran array types
Hi,
On Tue, 18 Aug 2009, Toon Moene wrote:
> BTW, does everyone realize that - as soon as link time optimizations are
> the default - we can throw out all these nonsense, as it is then
> perfectly (though perhaps costly) determinable whether two names point
> to the same memory location(s) ?
Nope, not really. Generally it's not even possible for a single procedure
program. You are right that we get more precise points to info but you
still can't rule out pointers pointing to some unknown global memory (e.g.
in shared libs), not for all of them at least. So type based
disambiguation will still be useful.
Ciao,
Michael.