xref: /llvm-project/clang/test/Analysis/exploded-graph-rewriter/topology.dot (revision b5147937b2a9ffdc12110a5df5ba4d482f83d2a8)
1// RUN: %exploded_graph_rewriter %s \
2// RUN:     | FileCheck -check-prefixes=NORMAL %s
3// RUN: %exploded_graph_rewriter -t %s \
4// RUN:     | FileCheck -check-prefixes=TOPOLOGY %s
5
6// NORMAL: Program point
7// TOPOLOGY-NOT: Program point
8// NORMAL: Checker State
9// TOPOLOGY-NOT: Checker State
10Node0x1 [shape=record,label=
11 "{
12    {
13      "state_id": 2,
14      "program_points": [
15        {
16          "kind": "BlockEntrance", "block_id": 1,
17          "terminator": null, "term_kind": null,
18          "tag": null, "node_id": 1,
19          "has_report": 0, "is_sink": 0
20        }
21      ],
22      "program_state": {
23        "environment": null,
24        "constraints": null,
25        "dynamic_types": null,
26        "checker_messages": [
27          { "checker": "foo", "messages": ["bar"] }
28        ],
29        "store": null
30      }
31    }
32\l}"];
33