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

struct S
{
    long l;
}

void main()
{
    int j = 42;
    int* p = &j;

    auto t = *p;
    *p ^= t;

    *p = ~t;

    S s;
    S* sp = &s;
    *sp = s;
    s = *sp;
}