vsk planned changes to this revision. vsk added a comment. Actually, when I defined “IsCold” as “has more than one predecessor” to stress-test the pass, I found another instance of this assert firing while building a stage2 clang. https://reviews.llvm.org/D54189