[PATCH] D122573: [TBAA] Emit distinct TBAA tags for pointers with different depths,types.

[Florian Hahn via Phabricator via cfe-commits]

fhahn updated this revision to Diff 469329.
fhahn added a comment.

Rebased on current main

In D122573#3630767 <https://reviews.llvm.org/D122573#3630767>, @rui.zhang wrote:

> I like the direction where this change is leading to and hope there is some way to land it incrementally. Since BuiltinType has the above mentioned concern on `void *`, how about we focus on `RecordType` pointers as a first step instead? Are there any pitfalls if we distinguish `RecordType` pointers by depth?

An initial restriction like that sounds reasonable to me. @jcranmer-intel @efriedma @rjmccall WDYT?

I also updated the type sanitizer patches and posted https://discourse.llvm.org/t/reviving-typesanitizer-a-sanitizer-to-catch-type-based-aliasing-violations/66092 to discuss ways to move forward with the sanitizer.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D122573/new/

https://reviews.llvm.org/D122573

Files:
  clang/lib/CodeGen/CodeGenTBAA.cpp
  clang/test/CodeGen/tbaa-pointers.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D122573.469329.patch
Type: text/x-patch
Size: 9535 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20221020/2281779f/attachment.bin>