jmorse added a comment. I suppose another way of thinking about that is ensuring every lattice transition gets explored across every CFG join pattern that can exist. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D136335/new/ https://reviews.llvm.org/D136335