A thought about garbage collection

[David Nadlinger]

On Thursday, 20 December 2012 at 01:15:51 UTC, deadalnix wrote:
> LDC also plan to provide a pass that remove many allocation 
> when it can prove that thing don't escape scope.

Unfortunately, »many« is not quite true, as escape analysis is 
hard (and we e.g. currently don't lower D 'scope' on parameters 
to LLVM's equivalent) – »some« would be better.

> I don't know if that went into the lastest version, last time I 
> heard of it it was experimental.

It's quite an old pass, but has been disabled for a long time. I 
recently resurrected it, but unfortunately it triggers an 
unrelated miscompilation, so I couldn't merge it into Git master 
(and the release) yet: 
https://github.com/ldc-developers/ldc/pull/206

David