[clang] [llvm] [Clang][IR] add TBAA metadata on pointer, union and array types. (PR #75177)

[Florian Hahn via cfe-commits]

fhahn wrote:

Thanks for working on this! I think it would be good to split this up into multiple distinct parts for the different improvements.

I put up a patch to support distinct metadata for distinct pointers a while ago, which I just moved to GH: #76261.

The discussion on Phabricator has some interesting points and one of the concerns was that it is very difficult already to detect type violations in source code, which makes adopting more powerful TBAA features quite difficult. There are some tooling improvements we can make here, including a sanitizer for types, which would be good to get rolling again, see https://discourse.llvm.org/t/reviving-typesanitizer-a-sanitizer-to-catch-type-based-aliasing-violations/66092

TBAA union support and potential issues have been discussed in detail a number of years ago on the old mailing list (llvm-dev), did you have a look at those threads? 

https://github.com/llvm/llvm-project/pull/75177