[Bug analyzer/106401] [13 Regression] ICE: in binding_cluster, at analyzer/store.cc:1110 with -fanalyzer since r13-1761-g68871a008e686dbe

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

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

--- 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:0fb35a45a28c674d5d420528f7dec629e42b4850

commit r13-1806-g0fb35a45a28c674d5d420528f7dec629e42b4850
Author: David Malcolm <dmalc...@redhat.com>
Date:   Fri Jul 22 19:50:37 2022 -0400

    analyzer: fix ICE in binding_cluster ctor [PR106401]

    gcc/analyzer/ChangeLog:
            PR analyzer/106401
            * store.cc (binding_cluster::binding_cluster): Remove overzealous
            assertion; we're checking for tracked_p in
            store::get_or_create_cluster.

    gcc/testsuite/ChangeLog:
            PR analyzer/106401
            * gcc.dg/analyzer/memcpy-2.c: New test.

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