[Bug analyzer/107948] GCC Static Analyzer doesn't realize `0 - width <= 0` is always true when `width > 0` and `width is int` type，

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

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

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-12 branch has been updated by David Malcolm
<dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:a7cc8ecefb72f06368b055fa60f5a2ff2eb6dfdb

commit r12-9360-ga7cc8ecefb72f06368b055fa60f5a2ff2eb6dfdb
Author: David Malcolm <dmalc...@redhat.com>
Date:   Wed Mar 29 14:16:48 2023 -0400

    analyzer: handle comparisons against negated symbolic values [PR107948]

    Cherrypicked from r13-4456-g0b737090a69624.

    gcc/analyzer/ChangeLog:
            PR analyzer/107948
            * region-model-manager.cc
            (region_model_manager::maybe_fold_binop): Fold (0 - VAL) to -VAL.
            * region-model.cc (region_model::eval_condition): Handle e.g.
            "-X <= 0" as equivalent to X >= 0".

    gcc/testsuite/ChangeLog:
            PR analyzer/107948
            * gcc.dg/analyzer/feasibility-pr107948.c: New test.

    Signed-off-by: David Malcolm <dmalc...@redhat.com>