https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69564
--- Comment #35 from amker at gcc dot gnu.org --- (In reply to Richard Biener from comment #34) > 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...) I had a patch doing this, will revise and send for review. Thanks.
