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

void main()
{
    char[] a = "hello";
    char[] b = "world";
    int i = 42;
    {
    char[] c = i > 50 ? b : a;
    assert(c is a);
    }
}