[Bug tree-optimization/98028] [12/13/14/15 Regression] __builtin_sub_overflow_p not folded to const when some constraints are known

[law at gcc dot gnu.org via Gcc-bugs]

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

Jeffrey A. Law <law at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |law at gcc dot gnu.org

--- Comment #11 from Jeffrey A. Law <law at gcc dot gnu.org> ---
This looks pretty easy to resolve in vr-values.  We just query the relation
orcale and take appropriate action.   Taking.