replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[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
This commit is contained in:
Artem Dergachev 2019-07-01 23:01:55 +00:00
parent fc61db5a3e
commit 5a72338bf5
2 changed files with 15 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
clang/test/Analysis/exploded-graph-rewriter/program_points.dot
View File

@ -41,6 +41,14 @@ Node0x1 [shape=record,label=
// CHECK-SAME: </td>
// CHECK-SAME: <td>x</td>
// CHECK-SAME: </tr>
// CHECK-SAME: <tr>
// CHECK-SAME: <td width="0">
// CHECK-SAME: </td>
// CHECK-SAME: <td colspan="2" align="left">
// CHECK-SAME: <b>Tag: </b>
// CHECK-SAME: <font color="crimson">ExprEngine : Clean Node</font>
// CHECK-SAME: </td>
// CHECK-SAME: </tr>
// CHECK-SAME: </table>
Node0x2 [shape=record,label=
"{
@ -56,7 +64,7 @@ Node0x2 [shape=record,label=
"line": 4,
"column": 5
},
"tag": null
"tag": "ExprEngine : Clean Node"
}
]}
\l}"];

6
clang/utils/analyzer/exploded-graph-rewriter.py
View File

@ -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">')