Aliases crossing procedures

[Diego Novillo]

On Thursday 27 October 2005 18:37, shreyas krishnan wrote:

> I find that it reports a pointer crossing procedure 
> boundaries as   pointing to anything  even in the simplest case of a
> passsing by reference.

Yes, that's one of the basic limitations in 4.0.  Several of these 
limitations are going to be addressed in the 4.2 release.  The SVN branch 
improved-aliasing-branch contains the bulk of the improvements planned for 
4.2.