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