Mercurial > projects > ldc
view tests/minicomplex/mem4.d @ 1491:360a8e8eea51
Teach stack promotion to walk the CFG when a potential reuse of an allocation
is found to see if it can actually happen instead of just assuming it will.
This allows it to catch cases like
{{{
int i;
Foo f;
while (cond(i))
f = new Foo(i++);
return f.value;
}}}
where it previously wouldn't because a phi using the allocation would appear in
the condition block to propagate it to the use after the loop.
author | Frits van Bommel <fvbommel wxs.nl> |
---|---|
date | Thu, 11 Jun 2009 02:04:44 +0200 |
parents | 1bb99290e03a |
children |
line wrap: on
line source
module tangotests.mem4; import tango.stdc.stdio; class C { int* ptr; this() { printf("this()\n"); ptr = new int; } ~this() { printf("~this()\n"); delete ptr; assert(ptr is null); } final void check() { printf("check()\n"); assert(ptr !is null); } } void main() { C c = new C(); c.check(); delete c; assert(c is null); }