blob: d0a4e19817af9d0867a6e4a184fa7342f98a564b [file] [log] [blame]
Artem Dergachev5740e772019-06-19 23:33:59 +00001// 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 "state_id": 2,
11 "program_points": [],
12 "program_state": {
13 "environment": null,
Artem Dergachevbeb85ad2019-06-25 02:16:53 +000014 "constraints": null,
Artem Dergachev5740e772019-06-19 23:33:59 +000015 "store": [
16 {
17 "cluster": "x",
18 "pointer": "0x3",
19 "items": [
20 {
21 "kind": "Default",
22 "offset": 0,
23 "value": "Undefined"
24 }
25 ]
26 }
27 ]
28 }
29 }
30\l}"];
31
32Node0x1 -> Node0x4;
33
34// CHECK: Node0x4 [
35// CHECK-SAME: <tr>
36// CHECK-SAME: <td><font color="red">-</font></td>
37// CHECK-SAME: <td align="left">x</td><td align="left">0</td>
38// CHECK-SAME: <td align="left">(<i>Default</i>)</td>
39// CHECK-SAME: <td align="left">Undefined</td>
40// CHECK-SAME: </tr>
41// CHECK-SAME: <tr>
42// CHECK-SAME: <td><font color="forestgreen">+</font></td>
43// CHECK-SAME: <td align="left">x</td>
44// CHECK-SAME: <td align="left">0</td>
45// CHECK-SAME: <td align="left">(<i>Default</i>)</td>
46// CHECK-SAME: <td align="left">Unknown</td>
47// CHECK-SAME: </tr>
48Node0x4 [shape=record,label=
49 "{
50 { "node_id": 4,
51 "pointer": "0x4",
52 "state_id": 5,
53 "program_points": [],
54 "program_state": {
55 "environment": null,
Artem Dergachevbeb85ad2019-06-25 02:16:53 +000056 "constraints": null,
Artem Dergachev5740e772019-06-19 23:33:59 +000057 "store": [
58 {
59 "cluster": "x",
60 "pointer": "0x3",
61 "items": [
62 {
63 "kind": "Default",
64 "offset": 0,
65 "value": "Unknown"
66 }
67 ]
68 }
69 ]
70 }
71 }
72\l}"];
73
74Node0x4 -> Node0x6;
75
76Node0x6 [shape=record,label=
77 "{
78 { "node_id": 6,
79 "pointer": "0x6",
80 "state_id": 7,
81 "program_points": [],
82 "program_state": null
83 }
84\l}"];