[clang] [TBAA] Emit "omnipotent char" for intrinsics with type cast (PR #107793)

Paul Walker via cfe-commits cfe-commits at lists.llvm.org
Tue Sep 10 13:07:10 PDT 2024


paulwalker-arm wrote:

I'll need to look to see if the TBAA metadata we're adding matches what we initially envisaged but my gut feeling matches @arsenm.

I'm assuming the original code emitted an error, something along the lines of "no version of svst1 available for long long*", which you've "fixed" by introducing a cast that breaks strict aliasing rules.

I recall warnings relating to strict aliasing violations being hit and miss? but perhaps we can do better.

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


More information about the cfe-commits mailing list