https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91227
--- Comment #16 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- I think the most likely case for code using such comparisons is not a mistake, but code doing something like memmove - code that checks whether two arrays overlap, and which one comes first if they do overlap, in order to decide how to carry out some operation on those arrays that may modify them in-place.
