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

void main()
{
    int i=0,j=0;
    for (; i<10; i++,j++)
    {
    }
    assert(i == 10);
    assert(j == 10);
}