Escape Analysis on reddit

[Robert Fraser]

Walter Bright wrote:
> Steven Schveighoffer wrote:
>> FWIW, I think with changes to the compiler/linker, this can be all 
>> detected automatically without any extra syntax.  Consider that the 
>> linker currently resolves dependencies of symbols.  It could also 
>> resolve incomplete escape analysis graphs.  If the graphs don't match 
>> up, it's a linker error.  This would be needed in the case of 
>> interfaces and virtual functions.
> 
> Pushing things off to the linker is not practical because then you 
> cannot rely on standard, off-the-shelf linkers.

Or dynamic ones.