xbolva00 added a comment.

>> Maybe we should try improve our tooling to detect violations in parallel to 
>> the effort in this patch? I am planning on trying to resurrect the 
>> type-sanitizer patches. I've also been playing around with a simple tool 
>> that's inserting assertions to check 2 pointers are not equal if TBAA claims 
>> they are no alias. The latter seems to surface a few violations in code in 
>> llvm-test-suite and also in tablegen. That is even without the current patch 
>> applied.

Amazing!

Even your simple tool could be very useful, this functionality could be mapped 
to something like gcc’s -Wstrict-aliasing.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D122573

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to