Index: cfe/trunk/test/Analysis/exploded-graph-rewriter/program_points.dot =================================================================== --- cfe/trunk/test/Analysis/exploded-graph-rewriter/program_points.dot +++ cfe/trunk/test/Analysis/exploded-graph-rewriter/program_points.dot @@ -41,6 +41,14 @@ // CHECK-SAME: // CHECK-SAME: x // CHECK-SAME: +// CHECK-SAME: +// CHECK-SAME: +// CHECK-SAME: +// CHECK-SAME: +// CHECK-SAME: Tag: +// CHECK-SAME: ExprEngine : Clean Node +// CHECK-SAME: +// CHECK-SAME: // CHECK-SAME: Node0x2 [shape=record,label= "{ @@ -56,7 +64,7 @@ "line": 4, "column": 5 }, - "tag": null + "tag": "ExprEngine : Clean Node" } ]} \l}"]; Index: cfe/trunk/utils/analyzer/exploded-graph-rewriter.py =================================================================== --- cfe/trunk/utils/analyzer/exploded-graph-rewriter.py +++ cfe/trunk/utils/analyzer/exploded-graph-rewriter.py @@ -387,6 +387,12 @@ '%s' % (color, p.kind)) + if p.tag is not None: + self._dump('' + '' + 'Tag: ' + '%s' % p.tag) + def visit_environment(self, e, prev_e=None): self._dump('')