arsenm added a comment. What about kills in transitive successors? I really don't like how kill isn't considered a terminator. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D97427/new/ https://reviews.llvm.org/D97427