[Bug tree-optimization/121710] `a - b == nonzero` implies that `a != b` (a > b if nonzero was positive and signed type [also for pointers])

[amacleod at redhat dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121710

Andrew Macleod <amacleod at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |amacleod at redhat dot com

--- Comment #2 from Andrew Macleod <amacleod at redhat dot com> ---
The remaining cases in this PR basically require the same info as as 121711, so
those comments apply.