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

   1 // RUN: %exploded_graph_rewriter -d %s | FileCheck %s
   2
   3 Node0x1 [shape=record,label=
   4  "{
   5     { "node_id": 1,
   6       "pointer": "0x1",
   7       "has_report": false,
   8       "is_sink": false,
   9       "state_id": 2,
  10       "program_points": [
  11         {
  12           "kind": "BlockEntrance", "block_id": 1,
  13           "terminator": null, "term_kind": null,
  14           "tag": null, "node_id": 1,
  15           "has_report": 0, "is_sink": 0
  16         }
  17       ],
  18       "program_state": {
  19         "environment": null,
  20         "constraints": null,
  21         "dynamic_types": null,
  22         "checker_messages": null,
  23         "store": {
  24           "pointer": "0x2",
  25           "items": [
  26             {
  27               "cluster": "x",
  28               "pointer": "0x3",
  29               "items": [
  30                 {
  31                   "kind": "Default",
  32                   "offset": 0,
  33                   "value": "Undefined"
  34                 }
  35               ]
  36             }
  37           ]
  38         }
  39       }
  40     }
  41 \l}"];
  42
  43 Node0x1 -> Node0x4;
  44
  45 // CHECK: Node0x4 [
  46 // CHECK-SAME: <tr>
  47 // CHECK-SAME:   <td><font color="red">-</font></td>
  48 // CHECK-SAME:   <td align="left">x</td><td align="left">0</td>
  49 // CHECK-SAME:   <td align="left">(<i>Default</i>)</td>
  50 // CHECK-SAME:   <td align="left">Undefined</td>
  51 // CHECK-SAME: </tr>
  52 // CHECK-SAME: <tr>
  53 // CHECK-SAME:   <td><font color="forestgreen">+</font></td>
  54 // CHECK-SAME:   <td align="left">x</td>
  55 // CHECK-SAME:   <td align="left">0</td>
  56 // CHECK-SAME:   <td align="left">(<i>Default</i>)</td>
  57 // CHECK-SAME:   <td align="left">Unknown</td>
  58 // CHECK-SAME: </tr>
  59 Node0x4 [shape=record,label=
  60  "{
  61     {
  62       "state_id": 5,
  63       "program_points": [
  64         {
  65           "kind": "BlockEntrance", "block_id": 1,
  66           "terminator": null, "term_kind": null,
  67           "tag": null, "node_id": 1,
  68           "has_report": 0, "is_sink": 0
  69         }
  70       ],
  71       "program_state": {
  72         "environment": null,
  73         "constraints": null,
  74         "dynamic_types": null,
  75         "checker_messages": null,
  76         "store": {
  77           "pointer": "0x5",
  78           "items": [
  79             {
  80               "cluster": "x",
  81               "pointer": "0x3",
  82               "items": [
  83                 {
  84                   "kind": "Default",
  85                   "offset": 0,
  86                   "value": "Unknown"
  87                 }
  88               ]
  89             }
  90           ]
  91         }
  92       }
  93     }
  94 \l}"];
  95
  96 Node0x4 -> Node0x6;
  97
  98 Node0x6 [shape=record,label=
  99  "{
 100     {
 101       "state_id": 7,
 102       "program_points": [
 103         {
 104           "kind": "BlockEntrance", "block_id": 1,
 105           "terminator": null, "term_kind": null,
 106           "tag": null, "node_id": 1,
 107           "has_report": 0, "is_sink": 0
 108         }
 109       ],
 110       "program_state": null
 111     }
 112 \l}"];