analyzer: fix ICE in binding_cluster ctor [PR106401]
authorDavid Malcolm <dmalcolm@redhat.com>
Fri, 22 Jul 2022 23:50:37 +0000 (19:50 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Fri, 22 Jul 2022 23:50:37 +0000 (19:50 -0400)
commit0fb35a45a28c674d5d420528f7dec629e42b4850
treef72547b24c813a08a199987cd9250a90486abee8
parentf77bbc8f86900b21abdec457b4153b30512e192d
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 <dmalcolm@redhat.com>
gcc/analyzer/store.cc
gcc/testsuite/gcc.dg/analyzer/memcpy-2.c [new file with mode: 0644]