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('