[Bug analyzer/113496] [13/14/15/16 Regression] ICE: in cmp, at analyzer/constraint-manager.cc:782 with -fanalyzer -fdump-analyzer

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

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

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

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

commit r16-7428-gc4c747adc8959d8cfea538789a9134fc143cc05f
Author: David Malcolm 
Date:   Mon Feb 9 23:14:22 2026 -0500

analyzer: fix assertion failure in bounded_ranges::cmp [PR113496]

gcc/analyzer/ChangeLog:
PR analyzer/113496
* constraint-manager.cc (cmp_types): New.
(bounded_range::cmp): Compare the types of the constants, as well
as their values.

gcc/testsuite/ChangeLog:
PR analyzer/113496
* gcc.dg/analyzer/ice-pr113496.c: New test.

Signed-off-by: David Malcolm 

[Bug analyzer/113496] [13/14/15/16 Regression] ICE: in cmp, at analyzer/constraint-manager.cc:782 with -fanalyzer -fdump-analyzer

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

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

David Malcolm  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
  Known to fail||16.0

--- Comment #5 from David Malcolm  ---
Still affects trunk.

I'm testing a fix for this.

[Bug analyzer/113496] [13/14/15/16 Regression] ICE: in cmp, at analyzer/constraint-manager.cc:782 with -fanalyzer -fdump-analyzer

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

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

Richard Biener  changed:

   What|Removed |Added

   Target Milestone|12.5|13.5

--- Comment #4 from Richard Biener  ---
GCC 12 branch is being closed.