RFA: Revamp fortran array types

[Michael Matz]

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.