[llvm] [TySan] A Type Sanitizer (LLVM) (PR #76259)

[Florian Hahn via llvm-commits]

https://github.com/fhahn commented:

> @fhahn What's the state of this currently? I was just looking at using something like this since we want to convert a older codebase to enable strict-aliasing and it would be helpful to have the tysan for this.
> 
> I am happy to test this out on Windows if that hasn't been done yet.

Just rebased this again (and will for the follow on patches in a minute) and address the comments.

The current version catches 6/8 strict-aliasing violations I could find with a quick search in the bug tracker. Most of the SingleSource tests from the llvm-test-suite pass with ~20 failing (still need to dig through those). That is both on ARM64 macOS.

At EuroLLVM I had a chat to people from Sony who were interested. Will try to also post an update on the discourse thread tomorrow.

Any help on Windows would be great, I think at the moment the clang part and runtime is only enabled on Linux/macOS & X86/AArch64.

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