[LLVMdev] tbaa

[ggan at codeaurora.org]

Dan,

Thanks for clarifying. This makes perfect sense.

Gan

>> Makes sense.  In that case, it would give the expected answers if
>> clang was enhanced to properly deal with similar/dissimilar pointer
>> types, instead of giving all pointer types the "everything" tag :)
>
> No, you've confused pointer types with pointee types.  That "any pointer"
> tag is for describing when the in-memory objects themselves have pointer
> types.