Hacker News new | ask | show | jobs
by babyloneleven 2598 days ago
Compilers of managed languages already do this optimization when they can prove that a variable has a static lifetime. Look up scape analysis.

The trouble is, this is hard to do for non-trivial code (and in the general case is uncomputable).

1 comments

I'm not finding how to edit, but, it's called escape analysis