[PATCH] D34482: [Dominators] Add parent and sibling property verification (non-hacky)

[Daniel Berlin via Phabricator via llvm-commits]

dberlin accepted this revision.
dberlin added a comment.
This revision is now accepted and ready to land.

This is fine once the properties are documented.


https://reviews.llvm.org/D34482