clang/test/Analysis/exploded-graph-rewriter/node_labels.dot

   1 // RUN: %exploded_graph_rewriter %s \
   2 // RUN:     | FileCheck %s -check-prefixes=CHECK,LIGHT,COLOR
   3 // RUN: %exploded_graph_rewriter %s --dark \
   4 // RUN:     | FileCheck %s -check-prefixes CHECK,DARK,COLOR
   5 // RUN: %exploded_graph_rewriter %s --gray \
   6 // RUN:     | FileCheck %s -check-prefixes=CHECK,LIGHT,GRAY
   7 // RUN: %exploded_graph_rewriter %s --gray --dark \
   8 // RUN:     | FileCheck %s -check-prefixes CHECK,DARK,GRAY
   9
  10 // LIGHT: Node0x1 [shape=record,label=<
  11 // DARK:  Node0x1 [shape=record,color="white",fontcolor="gray80",label=<
  12 // CHECK-SAME:   <tr>
  13 // LIGHT-SAME:     <td bgcolor="gray70">
  14 // DARK-SAME:      <td bgcolor="gray20">
  15 // CHECK-SAME:       <b>State 0</b>
  16 // CHECK-SAME:     </td>
  17 // CHECK-SAME:   </tr>
  18 Node0x1 [shape=record,label=
  19  "{
  20     { "state_id": 0, "program_state": null,
  21       "program_points": [
  22         {
  23           "kind": "BlockEntrance", "block_id": 1,
  24           "terminator": null, "term_kind": null,
  25           "tag": null, "node_id": 1,
  26           "has_report": 0, "is_sink": 0
  27         }
  28       ]
  29     }
  30 \l}"];
  31
  32 // CHECK: Node0x2 [
  33 // CHECK-SAME: <tr>
  34 // CHECK-SAME:   <td colspan="3" align="left">
  35 // COLOR-SAME:     <font color="red"><b>Bug Report Attached</b></font>
  36 // GRAY-SAME:      <b>Bug Report Attached</b>
  37 // CHECK-SAME:   </td>
  38 // CHECK-SAME: </tr>
  39 // CHECK-SAME: <tr>
  40 // CHECK-SAME:   <td colspan="3" align="left">
  41 // COLOR-SAME:     <font color="cornflowerblue"><b>Sink Node</b></font>
  42 // GRAY-SAME:      <b>Sink Node</b>
  43 // CHECK-SAME:   </td>
  44 // CHECK-SAME: </tr>
  45 Node0x2 [shape=record,label=
  46  "{
  47     { "state_id": 0, "program_state": null,
  48       "program_points": [
  49         {
  50           "kind": "BlockEntrance", "block_id": 1,
  51           "terminator": null, "term_kind": null,
  52           "tag": null, "node_id": 2,
  53           "has_report": 1, "is_sink": 1
  54         }
  55       ]
  56     }
  57 \l}"];