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