New memory management strategy

[Axe via Digitalmars-d]

Hi there. I have found a new memory management strategy based on 
whole program lifetime inference.

Disclaimer: I am no expert and hence what follows may be 
completely wrong or impractical. So bear with me.

The first step is to construct an "escape" lists for each and 
every function.
Escape list stores all the lvalues that may escape, while all 
other lvalues are released when the scope ends.

Foo get(Baz baz)
{	
	Bar bar;
	baz.bar = bar; // 'bar' escapes into field 'bar' of 'baz' which 
is the argument.
} // Escape list consist of 'bar'. Every field of 'baz' except 
baz.bar is freed.

int main()
{
	Baz baz; // Scope depth is 1.
	get(baz); // From the already built escape list for 'get', we 
can infer
			  // that baz.bar escapes to call-site's scope depth 1.
} // baz is eventually released here.

Since we cannot find the control flow path in a function. All the 
variable
declarations are moved to the top of the function, so that 
control flow doesn't determine whether
the variables are allocated or not.

Now the question is whether this is correct/practical or not?