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.
