[Bug analyzer/102662] [12 Regression] ICE in validate, at analyzer/constraint-manager.cc:581 since r12-3101-g8ca7fa84a3af355c

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

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

--- Comment #3 from CVS 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:e1c0c908f85816240b685a5be4f0e5a0e6634979

commit r12-5307-ge1c0c908f85816240b685a5be4f0e5a0e6634979
Author: David Malcolm <dmalc...@redhat.com>
Date:   Mon Nov 15 16:12:37 2021 -0500

    analyzer: fix overeager sharing of bounded_range instances [PR102662]

    This was leading to an assertion failure ICE on a switch stmt when using
    -fstrict-enums, due to erroneously reusing a range involving one enum
    with a range involving a different enum.

    gcc/analyzer/ChangeLog:
            PR analyzer/102662
            * constraint-manager.cc (bounded_range::operator==): Require the
            types to be the same for equality.

    gcc/testsuite/ChangeLog:
            PR analyzer/102662
            * g++.dg/analyzer/pr102662.C: New test.

    Signed-off-by: David Malcolm <dmalc...@redhat.com>