https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115226
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- It's another case where we "skip" a killing def when sinking a store. Here there's a conditional merge of both paths, again violating the virtual operand update constraint.