skatkov added a comment. That is what I talking about. So it seems that it would be right if we compute the domination information for both PostDominatedByUnreachable and PostDominatedByColdCall for all BBs, correct? https://reviews.llvm.org/D30631