https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69564
--- Comment #34 from Richard Biener <rguenth at gcc dot gnu.org> --- But as A + 8 >= B || A >= B + 8 is the same as ABS (A - B) >= 8 we might do better re-writing the overlap test in terms of this (of course it all really depends on whether that and the offset stripping handles arrays crossing the "signed overlap" boundary in the address space correctly...)
