[Bug tree-optimization/114702] Missed optimization: fail to infer c - b != if a + b != c

[amacleod at redhat dot com]

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

Andrew Macleod <amacleod at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Depends on|                            |121711
                 CC|                            |amacleod at redhat dot com

--- Comment #2 from Andrew Macleod <amacleod at redhat dot com> ---
This falls into the asme category as 121711..  It requires some algebraic
reasoning about the operation, and it could potentially be provided with a
VREL_EXPR type of enhancement.  see that PR.


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121711
[Bug 121711] `a - b == 16` should imply that `a == b + 16`