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