Now that we're using LLVM 2.5, we can stop always running the CFGSimplification pass. The pass was originally added as a workaround for a LLVM 2.4 bug where debug info would reference labels that have been optimized away.

module tangotests.mem2;

void main()
{
    int* ip = new int;
    assert(*ip == 0);
    *ip = 4;
    assert(*ip == 4);
    delete ip;
    assert(ip is null);
}