[PATCH] D63965: [analyzer] exploded-graph-rewriter: Add support for program point tags.

[Artem Dergachev via Phabricator via cfe-commits]

NoQ created this revision.
NoQ added a reviewer: Charusso.
Herald added subscribers: cfe-commits, dkrupp, donat.nagy, Szelethus, 
mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun.
Herald added a project: clang.
Keep it on a separate line for more visibility.

F9428700: Screen Shot 2019-06-28 at 4.26.13 PM.png 
<https://reviews.llvm.org/F9428700>


Repository:
  rC Clang

https://reviews.llvm.org/D63965

Files:
  clang/test/Analysis/exploded-graph-rewriter/program_points.dot
  clang/utils/analyzer/exploded-graph-rewriter.py


Index: clang/utils/analyzer/exploded-graph-rewriter.py
===================================================================
--- clang/utils/analyzer/exploded-graph-rewriter.py
+++ clang/utils/analyzer/exploded-graph-rewriter.py
@@ -387,6 +387,12 @@
                        '<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">')
 
Index: clang/test/Analysis/exploded-graph-rewriter/program_points.dot
===================================================================
--- clang/test/Analysis/exploded-graph-rewriter/program_points.dot
+++ clang/test/Analysis/exploded-graph-rewriter/program_points.dot
@@ -41,6 +41,14 @@
 // 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 @@
           "line": 4,
           "column": 5
         },
-        "tag": null
+        "tag": "ExprEngine : Clean Node"
       }
     ]}
 \l}"];



Index: clang/utils/analyzer/exploded-graph-rewriter.py
===================================================================
--- clang/utils/analyzer/exploded-graph-rewriter.py
+++ clang/utils/analyzer/exploded-graph-rewriter.py
@@ -387,6 +387,12 @@
                        '<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">')
 
Index: clang/test/Analysis/exploded-graph-rewriter/program_points.dot
===================================================================
--- clang/test/Analysis/exploded-graph-rewriter/program_points.dot
+++ clang/test/Analysis/exploded-graph-rewriter/program_points.dot
@@ -41,6 +41,14 @@
 // 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 @@
           "line": 4,
           "column": 5
         },
-        "tag": null
+        "tag": "ExprEngine : Clean Node"
       }
     ]}
 \l}"];

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits