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