Escape analysis

[Walter Bright]

Andrei Alexandrescu wrote:
> I don't think we can afford program correctness to rest on anecdote and 
> "it works for me". That age is long gone.

I agree. When you're managing a program with a million lines of code in 
it, there is great value in being able to *prove* that it does not 
suffer from as many kinds of bugs as practical, especially memory 
corruption bugs.

Think of buffer overflow bugs, for example. Think of all the grief that 
would have been saved if the C/C++ compiler could prove that buffer 
overflows could not happen.