On Dec 5, 2011, at 6:04 PM, Daniel Berlin wrote: > > Yet, aa-eval still says otherwise. The problem is with aa-eval. It collects all the pointer values in a function, and then just makes a bunch of raw pointer queries, rather than considering dereferences. TBAA tags are only attached to dereferences. So TBAA always has to say MayAlias for every aa-eval query. Dan