[analyzer] exploded-graph-rewriter: Improve program point dumps.

[NoQ]

Summary

• Take advantage of the stmt_point_kind.
• Dump block IDs for BlockEntrance nodes.
• Don't dump huge compound statements on PurgeDeadSymbols nodes.
• Rename Edge to BlockEdge for consistency.
• Tweak colors.

Before:

After:

[NoQ]

Ugly compound statement dumps that have been prevented:

[Charusso]

Are you alright with the namings? Those are randomly came out from my head and may you know some better one.

I like the idea about color tones, it is great we have a huge palette, just I still feels like it pretty well made for a dark theme.
Are you sure about the white background?

In D64051#1565801, @NoQ wrote:

Ugly compound statement dumps that have been prevented:

Yea, they are crazy. Thanks for that patch!

[NoQ]

In D64051#1565806, @Charusso wrote:

I like the idea about color tones, it is great we have a huge palette, just I still feels like it pretty well made for a dark theme.
Are you sure about the white background?

Okay. D64056

cfe/trunk/test/Analysis/exploded-graph-rewriter/escapes.c

void escapes() {
   // CHECK: <td align="left"><b>Store: </b></td>
   // CHECK-SAME: <td align="left">foo</td><td align="left">0</td>
   // CHECK-SAME: <td align="left">&amp;Element\{"foo",0 S64b,char\}</td>
   // CHECK: <td align="left"><b>Environment: </b></td>
   // CHECK-SAME: <td align="left">"foo"</td>
   // CHECK-SAME: <td align="left">&amp;Element\{"foo",0 S64b,char\}</td>
   const char *const foo = "\x66\x6f\x6f";
 
-  // CHECK: <font color="cyan3">BinaryOperator</font>
+  // CHECK: <font color="cyan4">BinaryOperator</font>
   // CHECK-SAME: <td align="left">1 \| 2</td>
   // CHECK-SAME: <td align="left">3 S32b</td>
   int x = 1 | 2;
 }

cfe/trunk/test/Analysis/exploded-graph-rewriter/program_points.dot

 // RUN: %exploded_graph_rewriter %s | FileCheck %s
 
 // FIXME: Substitution doesn't seem to work on Windows.
 // UNSUPPORTED: system-windows
 
-// CHECK: <b>Program point:</b>
+// CHECK: <b>Program points:</b>
 // CHECK-SAME: <table border="0" align="left" width="0">
 // CHECK-SAME:   <tr>
 // CHECK-SAME:     <td width="0">
 // CHECK-SAME:     </td>
 // CHECK-SAME:     <td align="left" width="0">
-// CHECK-SAME:       <font color="gold3">Edge</font>
+// CHECK-SAME:       <font color="gold3">BlockEdge</font>
 // CHECK-SAME:     </td>
 // CHECK-SAME:     <td align="left">
 // CHECK-SAME:     [B0] -&gt; [B1]
 // CHECK-SAME:     </td>
 // CHECK-SAME:   </tr>
+// CHECK-SAME:   <tr>
+// CHECK-SAME:     <td width="0">
+// CHECK-SAME:     </td>
+// CHECK-SAME:     <td align="left" width="0">
+// CHECK-SAME:       <font color="gold3">BlockEntrance</font>
+// CHECK-SAME:     </td>
+// CHECK-SAME:     <td align="left">
+// CHECK-SAME:     [B1]
+// CHECK-SAME:     </td>
+// CHECK-SAME:   </tr>
 // CHECK-SAME: </table>
 Node0x1 [shape=record,label=
  "{
     { "node_id": 1, "pointer": "0x1",
       "program_state": null, "program_points": [
       {
         "kind": "Edge",
         "src_id": 0,
         "dst_id": 1,
         "terminator": null,
         "term_kind": null,
-        "tag": null }
+        "tag": null
+      },
+      {
+        "kind": "BlockEntrance",
+        "block_id": 1,
+        "terminator": null,
+        "term_kind": null,
+        "tag": null
+      }
     ]}
 \l}"];
 
 // CHECK-NEXT: <b>Program point:</b>
 // CHECK-SAME: <table border="0" align="left" width="0">
 // CHECK-SAME:   <tr>
 // CHECK-SAME:     <td align="left" width="0">
 // CHECK-SAME:       (main file):<b>4</b>:<b>5</b>:
 // CHECK-SAME:     </td>
 // CHECK-SAME:     <td align="left" width="0">
-// CHECK-SAME:       <font color="cyan3">DeclRefExpr</font>
+// CHECK-SAME:       <font color="cyan4">DeclRefExpr</font>
+// CHECK-SAME:     </td>
+// CHECK-SAME:     <td align="left">
+// CHECK-SAME:       <font color="cyan3">PreStmt</font>
 // 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:     <td colspan="3" 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=
  "{
     { "node_id": 2, "pointer": "0x2",
       "program_state": null, "program_points": [
       {
         "kind": "Statement",
         "stmt_kind": "DeclRefExpr",
+        "stmt_point_kind": "PreStmt",
         "stmd_id": 3,
         "pointer": "0x3",
         "pretty": "x",
         "location": {
           "line": 4,
           "column": 5
         },
         "tag": "ExprEngine : Clean Node"
       }
     ]}
 \l}"];

cfe/trunk/utils/analyzer/exploded-graph-rewriter.py

def __init__(self, json_pp):
         super(ProgramPoint, self).__init__()
         self.kind = json_pp['kind']
         self.tag = json_pp['tag']
         if self.kind == 'Edge':
             self.src_id = json_pp['src_id']
             self.dst_id = json_pp['dst_id']
         elif self.kind == 'Statement':
             self.stmt_kind = json_pp['stmt_kind']
+            self.stmt_point_kind = json_pp['stmt_point_kind']
             self.pointer = json_pp['pointer']
             self.pretty = json_pp['pretty']
             self.loc = SourceLocation(json_pp['location']) \
                 if json_pp['location'] is not None else None
         elif self.kind == 'BlockEntrance':
             self.block_id = json_pp['block_id']
 
 
def visit_program_point(self, p):
         if p.kind in ['Edge', 'BlockEntrance', 'BlockExit']:
             color = 'gold3'
         elif p.kind in ['PreStmtPurgeDeadSymbols',
                         'PostStmtPurgeDeadSymbols']:
             color = 'red'
         elif p.kind in ['CallEnter', 'CallExitBegin', 'CallExitEnd']:
             color = 'blue'
         elif p.kind in ['Statement']:
-            color = 'cyan3'
+            color = 'cyan4'
         else:
             color = 'forestgreen'
 
         if p.kind == 'Statement':
+            # This avoids pretty-printing huge statements such as CompoundStmt.
+            # Such statements show up only at [Pre|Post]StmtPurgeDeadSymbols
+            skip_pretty = 'PurgeDeadSymbols' in p.stmt_point_kind
+            stmt_color = 'cyan3'
             if p.loc is not None:
                 self._dump('<tr><td align="left" width="0">'
                            '%s:<b>%s</b>:<b>%s</b>:</td>'
                            '<td align="left" width="0"><font color="%s">'
-                           '%s</font></td><td>%s</td></tr>'
+                           '%s</font></td>'
+                           '<td align="left"><font color="%s">%s</font></td>'
+                           '<td>%s</td></tr>'
                            % (p.loc.filename, p.loc.line,
-                              p.loc.col, color, p.stmt_kind, p.pretty))
+                              p.loc.col, color, p.stmt_kind,
+                              stmt_color, p.stmt_point_kind,
+                              p.pretty if not skip_pretty else ''))
             else:
                 self._dump('<tr><td align="left" width="0">'
                            '<i>Invalid Source Location</i>:</td>'
                            '<td align="left" width="0">'
-                           '<font color="%s">%s</font></td><td>%s</td></tr>'
-                           % (color, p.stmt_kind, p.pretty))
+                           '<font color="%s">%s</font></td>'
+                           '<td align="left"><font color="%s">%s</font></td>'
+                           '<td>%s</td></tr>'
+                           % (color, p.stmt_kind,
+                              stmt_color, p.stmt_point_kind,
+                              p.pretty if not skip_pretty else ''))
         elif p.kind == 'Edge':
             self._dump('<tr><td width="0"></td>'
                        '<td align="left" width="0">'
                        '<font color="%s">%s</font></td><td align="left">'
                        '[B%d] -\\> [B%d]</td></tr>'
-                       % (color, p.kind, p.src_id, p.dst_id))
+                       % (color, 'BlockEdge', p.src_id, p.dst_id))
+        elif p.kind == 'BlockEntrance':
+            self._dump('<tr><td width="0"></td>'
+                       '<td align="left" width="0">'
+                       '<font color="%s">%s</font></td>'
+                       '<td align="left">[B%d]</td></tr>'
+                       % (color, p.kind, p.block_id))
         else:
             # TODO: Print more stuff for other kinds of points.
             self._dump('<tr><td width="0"></td>'
                        '<td align="left" width="0" colspan="2">'
                        '<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">'
+                       '<td colspan="3" 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">')
 
         def dump_location_context(lc, is_added=None):
             self._dump('<tr><td>%s</td>'