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 bug8;

void main()
{
    s = newS();
}

S* s;

struct S
{
    int i;
}

S* newS()
{
    auto tmp = new S;
    tmp.i = 4;
    return tmp;
}