[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 <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:c4c747adc8959d8cfea538789a9134fc143cc05f

commit r16-7428-gc4c747adc8959d8cfea538789a9134fc143cc05f
Author: David Malcolm <dmalc...@redhat.com>
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 <dmalc...@redhat.com>