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

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

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

--- Comment #2 from GCC Commits  ---
The master branch has been updated by David Malcolm :

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

commit r16-6136-gc48970fc4a4d1747a50e6abd1634757212420c04
Author: David Malcolm 
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 

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

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

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

David Malcolm  changed:

   What|Removed |Added

   Last reconfirmed||2025-12-11
 Status|UNCONFIRMED |ASSIGNED
 Ever confirmed|0   |1

--- Comment #1 from David Malcolm  ---
Thanks for filing this bug.

The issue is that the analyzer doesn't "know" that x + (-x) is zero.

I'm testing a patch for that, which seems to fix the false +ve.

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

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

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

Richard Biener  changed:

   What|Removed |Added

   Keywords||diagnostic, false-positive
   Target Milestone|--- |13.5

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

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

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

Jeffrey A. Law  changed:

   What|Removed |Added

   Priority|P3  |P2