https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122975
--- Comment #2 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by David Malcolm <[email protected]>: https://gcc.gnu.org/g:c48970fc4a4d1747a50e6abd1634757212420c04 commit r16-6136-gc48970fc4a4d1747a50e6abd1634757212420c04 Author: David Malcolm <[email protected]> Date: Mon Dec 15 11:48:49 2025 -0500 analyzer: fold X + (-X) to zero [PR122975] gcc/analyzer/ChangeLog: PR analyzer/122975 * region-model-manager.cc (region_model_manager::maybe_fold_binop): Fold X + (-X) to zero. gcc/testsuite/ChangeLog: PR analyzer/122975 * c-c++-common/analyzer/arith-1.c: New test. * c-c++-common/analyzer/infinite-recursion-pr122975.c: New test. Signed-off-by: David Malcolm <[email protected]>
