[LLVMdev] tbaa

Dan Gohman gohman at apple.com
Mon Dec 5 20:01:50 PST 2011

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.


More information about the llvm-dev mailing list