shiltian wrote: I'd prefer to treat it as deleting the instruction rather than handling it the same way as a global store, similar to how the compiler treats other UB in the code. https://github.com/llvm/llvm-project/pull/226069