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.mem3;

void main()
{
    int[] arr;
    arr ~= [1,2,3];
    assert(arr[0] == 1);
    assert(arr[1] == 2);
    assert(arr[2] == 3);
    delete arr;
    assert(arr is null);
}