[LLVMdev] tbaa

ggan at codeaurora.org ggan at codeaurora.org
Tue Dec 6 22:21:04 PST 2011


Thanks for clarifying. This makes perfect sense.


>> 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.

More information about the llvm-dev mailing list