https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112310
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- So this really asks for the change to be reverted which requires us to "properly" handle virtual operands in the expression sets. Namely in compute_avail populate EXP_GEN with reference expressions with the virtual operand live at the start of the block. And in prune_clobbered_mems rewrite them as well.