Escape Analysis on reddit

[Steven Schveighoffer]

"Robert Fraser" wrote
> 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.

Both good points.  Such is the requirement for a full analysis though, as 
you don't always have all the source available, and if you have cyclic 
dependencies, you have a chicken-and-egg problem.  But if this scope 
proposal just makes D nightmarish, either with convoluted syntax or correct 
code not compiling, it's still an option to think about.

As far as dynamic linkers, at least on windows, the DLL can have a routine 
that resolves the graphs when loaded.   I'm not sure about shared objects 
though...

-Steve