HomePhabricator

[analyzer] exploded-graph-rewriter: Implement bug nodes and sink nodes.

Authored by dergachev.a on Jul 2 2019, 6:26 PM.

Description

[analyzer] exploded-graph-rewriter: Implement bug nodes and sink nodes.

Add a label to nodes that have a bug report attached or on which
the analysis was generally interrupted.

Fix printing has_report and implement printing is_sink in the graph dumper.

Differential Revision: https://reviews.llvm.org/D64110

llvm-svn: 364992