[Bug analyzer/93649] ICE in get_representative, at analyzer/constraint-manager.cc:297

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 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:cd28b75921354c64fd4c8a1c238991e522abc38e

commit r10-6580-gcd28b75921354c64fd4c8a1c238991e522abc38e
Author: David Malcolm <dmalc...@redhat.com>
Date:   Mon Feb 10 16:47:21 2020 -0500

    analyzer: fix ICE with equiv_class constant (PR 93649)

    gcc/analyzer/ChangeLog:
        PR analyzer/93649
        * constraint-manager.cc (constraint_manager::add_constraint): When
        merging equivalence classes and updating m_constant, also update
        m_cst_sid.
        (constraint_manager::validate): If m_constant is non-NULL assert
        that m_cst_sid is non-null and is valid.

    gcc/testsuite/ChangeLog:
        PR analyzer/93649
        * gcc.dg/analyzer/torture/pr93649.c: New test.