analyzer: fixes to -fdump-analyzer-state-purge
authorDavid Malcolm <dmalcolm@redhat.com>
Thu, 17 Mar 2022 20:08:59 +0000 (16:08 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Thu, 17 Mar 2022 22:38:00 +0000 (18:38 -0400)
commit79e210f0c8e1fad875333e93b5ae2fe9b4879b7a
tree2e6158873eaf17bc6fe0d8cdb28c22d26e2d45e7
parent2b3404357a1f9991921189e331aeefb826f0523a
analyzer: fixes to -fdump-analyzer-state-purge

gcc/analyzer/ChangeLog:
* state-purge.cc (state_purge_annotator::add_node_annotations):
Avoid duplicate before-supernode annotations when returning from
an interprocedural call.  Show after-supernode annotations.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/analyzer/state-purge.cc