https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110515
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords|needs-bisection | Priority|P3 |P2 --- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> --- So compute_avail in PRE tries to detect this situation and it ends up modifying the alias set of the load to zero (and is successfully in doing that). I'm testing a patch to plug a hole in that logic.