diff options
author | Artem Dergachev <artem.dergachev@gmail.com> | 2019-07-03 01:26:41 +0000 |
---|---|---|
committer | Artem Dergachev <artem.dergachev@gmail.com> | 2019-07-03 01:26:41 +0000 |
commit | 6ed0749151866894a67a3e7eefdc1f3a547daa0e (patch) | |
tree | a4775bedd17fb5ee8364a59c3bbfcbca65c9cab5 /test/Analysis/exploded-graph-rewriter/environment.dot | |
parent | e3edbcf4f7f9d8c4f3f61cc328c0b2f4e44e8079 (diff) | |
download | clang-6ed0749151866894a67a3e7eefdc1f3a547daa0e.tar.gz |
[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
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@364992 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/exploded-graph-rewriter/environment.dot')
-rw-r--r-- | test/Analysis/exploded-graph-rewriter/environment.dot | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/Analysis/exploded-graph-rewriter/environment.dot b/test/Analysis/exploded-graph-rewriter/environment.dot index 4167a8c4cb..2b8a402cd8 100644 --- a/test/Analysis/exploded-graph-rewriter/environment.dot +++ b/test/Analysis/exploded-graph-rewriter/environment.dot @@ -29,6 +29,8 @@ Node0x1 [shape=record,label= "{ { "node_id": 1, "pointer": "0x1", + "has_report": false, + "is_sink": false, "state_id": 2, "program_points": [], "program_state": { |