From: Artem Dergachev <artem.dergachev@gmail.com>
Date: Mon, 1 Jul 2019 23:01:55 +0000 (+0000)
Subject: [analyzer] exploded-graph-rewriter: Implement program point tags.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=d4916e2a6ffbff852897a807f87e4e83b1a2145c;p=clang

[analyzer] exploded-graph-rewriter: Implement program point tags.

Keep them on a separate line for more visibility.

Differential Revision: https://reviews.llvm.org/D63965

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@364864 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/test/Analysis/exploded-graph-rewriter/program_points.dot b/test/Analysis/exploded-graph-rewriter/program_points.dot
index 26beff4be8..31dcc4adb6 100644
--- a/test/Analysis/exploded-graph-rewriter/program_points.dot
+++ b/test/Analysis/exploded-graph-rewriter/program_points.dot
@@ -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}"];
diff --git a/utils/analyzer/exploded-graph-rewriter.py b/utils/analyzer/exploded-graph-rewriter.py
index f0f0316da9..c4b015e5de 100755
--- a/utils/analyzer/exploded-graph-rewriter.py
+++ b/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">')