[Bug analyzer/109193] GCC Static Analyzer does not know "1-a > 0-b" in the true branch of "if (a < b && 0 < a) "

Mon Mar 20 20:30:50 GMT 2023

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

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
As per bug 109194, I'm not convinced all of these definitely hold e.g. when a
or b are INT_MAX or INT_MIN.

The constraint_manager has some heuristics to try to handle common cases, but
ultimately we're probably going to want to hand this off to an SMT solver (PR
104940)

*** This bug has been marked as a duplicate of bug 104940 ***