efriedma added a comment. > If branching on poison is UB, that requires freezing x. Err, I meant "branching on undef". Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D76931/new/ https://reviews.llvm.org/D76931