https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62006
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- Btw, points-to handles this conservatively, so -fno-tree-pta isn't a real fix either. We didn't yet spot the real bogus transform. But indeed makes sure you are computing differences within one arena only.