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

Fri Oct 21 08:50:55 PDT 2022

rui.zhang added subscribers: mcberg2021, craig.topper.
rui.zhang added a comment.

In D122573#3872138 <https://reviews.llvm.org/D122573#3872138>, @fhahn wrote:

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

@craig.topper @mcberg2021 FYI

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D122573