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