On Jan 30, 2012, at 4:04 PM, Hal Finkel wrote: > > Dan, where in the code is this done? I see a comment at the end of > BasicAliasAnalysis::aliasGEP regarding "protecting TBAA in the case of > dynamic indices into arrays of unions"; are you referring to that? Yes. And looking at the testcase, this appears to be the problem. Dan