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