xref: /llvm-project/clang/test/Analysis/exploded-graph-rewriter/store.dot (revision b5147937b2a9ffdc12110a5df5ba4d482f83d2a8) 
1// RUN: %exploded_graph_rewriter %s | FileCheck %s
2
3// CHECK: <b>Store: </b>
4// CHECK-SAME: <font color="gray">(0x2)</font>
5// CHECK-SAME: <table border="0">
6// CHECK-SAME:   <tr>
7// CHECK-SAME:     <td align="left">
8// CHECK-SAME:       x
9// CHECK-SAME:     </td>
10// CHECK-SAME:     <td align="left">
11// CHECK-SAME:       0
12// CHECK-SAME:     </td>
13// CHECK-SAME:     <td align="left">
14// CHECK-SAME:       (<i>Default</i>)
15// CHECK-SAME:     </td>
16// CHECK-SAME:     <td align="left">
17// CHECK-SAME:       Undefined
18// CHECK-SAME:     </td>
19// CHECK-SAME:   </tr>
20// CHECK-SAME: </table>
21Node0x1 [shape=record,label=
22 "{
23    { "state_id": 2,
24      "program_points": [
25        {
26          "kind": "BlockEntrance", "block_id": 1,
27          "terminator": null, "term_kind": null,
28          "tag": null, "node_id": 1,
29          "has_report": 0, "is_sink": 0
30        }
31      ],
32      "program_state": {
33        "environment": null,
34        "constraints": null,
35        "dynamic_types": null,
36        "checker_messages": null,
37        "store": {
38          "pointer": "0x2",
39          "items": [
40            {
41              "cluster": "x",
42              "pointer": "0x3",
43              "items": [
44                {
45                  "kind": "Default",
46                  "offset": 0,
47                  "value": "Undefined"
48                }
49              ]
50            }
51          ]
52        }
53      }
54    }
55\l}"];
56