[PATCH] D45492: [Verifier] Check for TBAA Access Tag presence

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

Had a brief chat with @rjmccall about this, it seems this is conceptually fine, so let's turn this into an actual review.


Repository:
  rL LLVM

https://reviews.llvm.org/D45492