diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2019-07-01 23:01:55 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2019-07-01 23:01:55 +0000 |
| commit | 5a72338bf50e29c034443d5075cb83a5386851d5 (patch) | |
| tree | f24e88120a98bff72819c8281bb8900472445c40 /clang/utils/analyzer/exploded-graph-rewriter.py | |
| parent | fc61db5a3e7158df527e41865385b74e62a877d1 (diff) | |
| download | bcm5719-llvm-5a72338bf50e29c034443d5075cb83a5386851d5.tar.gz bcm5719-llvm-5a72338bf50e29c034443d5075cb83a5386851d5.zip | |
[analyzer] exploded-graph-rewriter: Implement program point tags.
Keep them on a separate line for more visibility.
Differential Revision: https://reviews.llvm.org/D63965
llvm-svn: 364864
Diffstat (limited to 'clang/utils/analyzer/exploded-graph-rewriter.py')
| -rwxr-xr-x | clang/utils/analyzer/exploded-graph-rewriter.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/clang/utils/analyzer/exploded-graph-rewriter.py b/clang/utils/analyzer/exploded-graph-rewriter.py index f0f0316da91..c4b015e5ded 100755 --- a/clang/utils/analyzer/exploded-graph-rewriter.py +++ b/clang/utils/analyzer/exploded-graph-rewriter.py @@ -387,6 +387,12 @@ class DotDumpVisitor(object): '<font color="%s">%s</font></td></tr>' % (color, p.kind)) + if p.tag is not None: + self._dump('<tr><td width="0"></td>' + '<td colspan="2" align="left">' + '<b>Tag: </b> <font color="crimson">' + '%s</font></td></tr>' % p.tag) + def visit_environment(self, e, prev_e=None): self._dump('<table border="0">') |
