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);
}