1// RUN: %exploded_graph_rewriter %s | FileCheck %s
2
3// CHECK: <b>Store: </b>
4// CHECK-SAME: <font color="gray">(0x2)</font>
5// CHECK-SAME: <table border="0">
6// CHECK-SAME:   <tr>
7// CHECK-SAME:     <td align="left">
8// CHECK-SAME:       x
9// CHECK-SAME:     </td>
10// CHECK-SAME:     <td align="left">
11// CHECK-SAME:       0
12// CHECK-SAME:     </td>
13// CHECK-SAME:     <td align="left">
14// CHECK-SAME:       (<i>Default</i>)
15// CHECK-SAME:     </td>
16// CHECK-SAME:     <td align="left">
17// CHECK-SAME:       Undefined
18// CHECK-SAME:     </td>
19// CHECK-SAME:   </tr>
20// CHECK-SAME: </table>
21Node0x1 [shape=record,label=
22 "{
23    { "state_id": 2,
24      "program_points": [
25        {
26          "kind": "BlockEntrance", "block_id": 1,
27          "terminator": null, "term_kind": null,
28          "tag": null, "node_id": 1,
29          "has_report": 0, "is_sink": 0
30        }
31      ],
32      "program_state": {
33        "environment": null,
34        "constraints": null,
35        "dynamic_types": null,
36        "constructing_objects": null,
37        "index_of_element": null,
38        "checker_messages": null,
39        "store": {
40          "pointer": "0x2",
41          "items": [
42            {
43              "cluster": "x",
44              "pointer": "0x3",
45              "items": [
46                {
47                  "kind": "Default",
48                  "offset": 0,
49                  "value": "Undefined"
50                }
51              ]
52            }
53          ]
54        }
55      }
56    }
57\l}"];
58