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

struct S
{
    byte a;
    byte b;
}
union U
{
    byte a;
    byte b;
    S c;
}

void main()
{
    U u;
    auto a = u.c.b;
    //auto c = u.s.l;
}