https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92007
--- Comment #7 from Ilya Leoshkevich <iii at linux dot ibm.com> --- How can we do this here? When we make a decision to eliminate bb 5, all the "nearby" edges are hot. Having eliminated bb 5, we cannot avoid making bb 6 cold, since this would violate CFG integrity: as far as I understand, it's important to maintain the property that cold bbs cannot dominate hot bbs. So we would have to avoid eliminating bb 5 in the first place, and for that we would need to analyze which consequences that would have w.r.t. dominators and partitioning, and that might be costly.