[LLVMdev] tbaa

[Jianzhou Zhao]

Hi,

Does LLVM have any document about the TBAA? I think its source code
must be one. But I cannot find any discussion about TBAA from
http://llvm.org/docs/AliasAnalysis.html
Thanks.

On Wed, Dec 7, 2011 at 1:21 AM,  <ggan at codeaurora.org> wrote:
> 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.
>
>
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev



-- 
Jianzhou