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

void main()
{
    char[] a = "hello world";
    char* ap = a.ptr;
    size_t i = 5;
    char[] b = ap[0..i];
    assert(b == "hello");
}