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`
