1// RUN: %exploded_graph_rewriter -d %s | FileCheck %s
2
3Node0x1 [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
44Node0x1 -> 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>
60Node0x4 [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
98Node0x4 -> Node0x6;
99
100Node0x6 [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}"];
115