Author: dergachev Date: Mon Jul 1 16:01:55 2019 New Revision: 364864 URL: http://llvm.org/viewvc/llvm-project?rev=364864&view=rev Log: [analyzer] exploded-graph-rewriter: Implement program point tags.
Keep them on a separate line for more visibility. Differential Revision: https://reviews.llvm.org/D63965 Modified: cfe/trunk/test/Analysis/exploded-graph-rewriter/program_points.dot cfe/trunk/utils/analyzer/exploded-graph-rewriter.py Modified: cfe/trunk/test/Analysis/exploded-graph-rewriter/program_points.dot URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/exploded-graph-rewriter/program_points.dot?rev=364864&r1=364863&r2=364864&view=diff ============================================================================== --- cfe/trunk/test/Analysis/exploded-graph-rewriter/program_points.dot (original) +++ cfe/trunk/test/Analysis/exploded-graph-rewriter/program_points.dot Mon Jul 1 16:01:55 2019 @@ -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}"]; Modified: cfe/trunk/utils/analyzer/exploded-graph-rewriter.py URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/utils/analyzer/exploded-graph-rewriter.py?rev=364864&r1=364863&r2=364864&view=diff ============================================================================== --- cfe/trunk/utils/analyzer/exploded-graph-rewriter.py (original) +++ cfe/trunk/utils/analyzer/exploded-graph-rewriter.py Mon Jul 1 16:01:55 2019 @@ -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">') _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
