https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122975
--- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-15 branch has been updated by David Malcolm <[email protected]>: https://gcc.gnu.org/g:e869244a134c84ef9f5ba15d8005bf66f9f2048c commit r15-10673-ge869244a134c84ef9f5ba15d8005bf66f9f2048c 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]> (cherry picked from commit c48970fc4a4d1747a50e6abd1634757212420c04)
