https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104492
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- This is most likely the case where we have: .... T = y != &z[0]; Z = {Clobber} If(T) And then forward prop the comparison after the clobber.