[PATCH] D35342: [Dominators] Implement incremental deletions

[Jakub Kuderski via Phabricator via llvm-commits]

kuhar added inline comments.


================
Comment at: include/llvm/Support/GenericDomTree.h:480
+  /// This function has to be called just after making the update
+  /// on the actual CFG. There cannot be any other updates that the dominator
+  /// tree doesn't know about. The only exception is when the deletion that the
----------------
Actually, I think that we can assert here that To is not a successor of From here, as it is the deletion precondition. 


https://reviews.llvm.org/D35342