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

[Eli Friedman via Phabricator via cfe-commits]

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

I'd be more comfortable if we had tooling, yes.  The current state of "only a compiler expert can figure out if your code has undefined behavior" is the most scary part.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D122573