[PATCH] D26438: [Verifier] Add verification for TBAA metadata

[Sanjoy Das via llvm-commits]

sanjoy added a comment.

FYI: I'm also actively working on documentation for struct path TBAA.   Once the documentation is complete, I expect I'll have to rename some of the functions and variables here to be consistent with the documentation.


https://reviews.llvm.org/D26438