analyzer: fix ICE in binding_cluster::purge_state_involving [PR101522]
authorDavid Malcolm <dmalcolm@redhat.com>
Wed, 21 Jul 2021 23:16:08 +0000 (19:16 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Wed, 21 Jul 2021 23:16:08 +0000 (19:16 -0400)
commit87bd75cd49aac68e90bd9b6b5e14582d6e0ccafa
tree39adb93d85850540941105c81d2ba3c0028def68
parenta61f6afbee370785cf091fe46e2e022748528307
analyzer: fix ICE in binding_cluster::purge_state_involving [PR101522]

gcc/analyzer/ChangeLog:
PR analyzer/101522
* store.cc (binding_cluster::purge_state_involving): Don't change
m_map whilst iterating through it.

gcc/testsuite/ChangeLog:
PR analyzer/101522
* g++.dg/analyzer/pr101522.C: New test.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/store.cc
gcc/testsuite/g++.dg/analyzer/pr101522.C [new file with mode: 0644]