[Bug analyzer/123973] [13/14/15/16 Regression] -Wanalyzer-infinite-recursion false positive involving integer expression

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

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

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

https://gcc.gnu.org/g:9b090e35cd753681e70e13c50975bfd3e6a110c9

commit r16-7458-g9b090e35cd753681e70e13c50975bfd3e6a110c9
Author: David Malcolm <dmalc...@redhat.com>
Date:   Wed Feb 11 08:51:16 2026 -0500

    analyzer: fold X + (Y - X) to Y [PR123973]

    gcc/analyzer/ChangeLog:
            PR analyzer/123973
            * region-model-manager.cc
            (region_model_manager::maybe_fold_binop): Fold X + (Y - X) to Y.

    gcc/testsuite/ChangeLog:
            PR analyzer/123973
            * c-c++-common/analyzer/infinite-recursion-pr123973.c: New test.

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