https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106922
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Attachment #53597|0 |1 is obsolete| | --- Comment #14 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 53599 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53599&action=edit candidate patch 2 OK, so I think I know what's going wrong eventually. The following implements the trick differently. We might eventually be able to use dominance of the virtual operands to check for the cross-iteration case as further improvement.