implementing escape analysis

[Andrew Haley]

Tom Tromey writes:
 > >>>>> "Andrew" == Andrew Haley <aph@redhat.com> writes:
 > 
 > Andrew> Indeed, yes.  But there's no reason not to start small: if you know
 > Andrew> that the args of System.out.println() don't escape, for example, then
 > Andrew> you can handle just that.
 > 
 > This is an unfortunate example due to System.setOut, where the
 > argument can be any stream, including ones that violate this part of
 > the contract.

I don't think it was unfortunate, really.  It rather reinforces the
point that escape analysis of any language with (virtual) inheritance
is going to be hard!

Andrew.