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        {
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
47Node0x1 -> 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>
63Node0x4 [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
101Node0x4 -> Node0x6;
102
103Node0x6 [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}"];
118