pyos
aadea0e26f
Interpretation: a graph A is a subgraph of B if information available at nodes of A depends on the paths taken in B. For example, local classes are subgraphs of a graph in which they are declared, and members of those classes are subgraphs of the local class itself - because these members can reference captured values. Consequences: * if graph G is a subgraph of node N, then G is a subgraph of N's owner; * `ControlFlowAnalysisDiagnosticComponent` will only visit root graphs; * `graph.traverse` will ignore subgraph boundaries, as if all subgraphs are inlined into one huge root graph; * if a control flow checker needs information from a declaration to which a graph is attached, it must look at subgraphs explicitly. For example, consider the `callsInPlace` checker. When a function has a `callsInPlace` contract and a local declaration, the checker must visit that local declaration to ensure it does not capture the allegedly called-in-place argument - hence `graph.traverse` will look at the nodes. However, the local declaration can also be a function with its own `callsInPlace` contracts, so the checker should also run for it in isolation. If that sounds quadratic, that's because unfortunately it is.
93 lines
3.1 KiB
Plaintext
Vendored
93 lines
3.1 KiB
Plaintext
Vendored
digraph initBlockAndInPlaceLambda_kt {
|
|
graph [nodesep=3]
|
|
node [shape=box penwidth=2]
|
|
edge [penwidth=2]
|
|
|
|
subgraph cluster_0 {
|
|
color=red
|
|
0 [label="Enter class B" style="filled" fillcolor=red];
|
|
1 [label="Exit class B" style="filled" fillcolor=red];
|
|
}
|
|
0 -> {1} [color=green];
|
|
|
|
subgraph cluster_1 {
|
|
color=red
|
|
2 [label="Enter class A" style="filled" fillcolor=red];
|
|
3 [label="Exit class A" style="filled" fillcolor=red];
|
|
}
|
|
2 -> {3} [color=green];
|
|
|
|
subgraph cluster_2 {
|
|
color=red
|
|
4 [label="Enter function <init>" style="filled" fillcolor=red];
|
|
5 [label="Delegated constructor call: super<R|kotlin/Any|>()" style="filled" fillcolor=yellow];
|
|
6 [label="Exit function <init>" style="filled" fillcolor=red];
|
|
}
|
|
4 -> {5};
|
|
5 -> {6};
|
|
|
|
subgraph cluster_3 {
|
|
color=red
|
|
26 [label="Enter class C" style="filled" fillcolor=red];
|
|
27 [label="Part of class initialization"];
|
|
subgraph cluster_4 {
|
|
color=blue
|
|
7 [label="Enter init block" style="filled" fillcolor=red];
|
|
subgraph cluster_5 {
|
|
color=blue
|
|
8 [label="Enter block"];
|
|
9 [label="Access variable R|<local>/a|"];
|
|
10 [label="Access variable R|/A.b|"];
|
|
11 [label="Enter safe call"];
|
|
12 [label="Postponed enter to lambda"];
|
|
subgraph cluster_6 {
|
|
color=blue
|
|
19 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
|
|
subgraph cluster_7 {
|
|
color=blue
|
|
20 [label="Enter block"];
|
|
21 [label="Access variable R|<local>/a|"];
|
|
22 [label="Access variable R|<local>/it|"];
|
|
23 [label="Function call: R|/C.C|(...)" style="filled" fillcolor=yellow];
|
|
24 [label="Exit block"];
|
|
}
|
|
25 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
|
|
}
|
|
13 [label="Postponed exit from lambda"];
|
|
14 [label="Function call: $subj$.R|kotlin/let|<R|B|, R|C|>(...)" style="filled" fillcolor=yellow];
|
|
15 [label="Exit safe call"];
|
|
16 [label="Variable declaration: lval c: R|C?|"];
|
|
17 [label="Exit block"];
|
|
}
|
|
18 [label="Exit init block" style="filled" fillcolor=red];
|
|
}
|
|
28 [label="Exit class C" style="filled" fillcolor=red];
|
|
}
|
|
26 -> {27} [color=green];
|
|
27 -> {7} [color=green];
|
|
27 -> {28} [style=dotted];
|
|
27 -> {7} [style=dashed];
|
|
7 -> {8};
|
|
8 -> {9};
|
|
9 -> {10};
|
|
10 -> {11 15};
|
|
11 -> {12};
|
|
12 -> {14 19};
|
|
12 -> {13} [style=dotted];
|
|
12 -> {19} [style=dashed];
|
|
13 -> {14};
|
|
14 -> {15};
|
|
15 -> {16};
|
|
16 -> {17};
|
|
17 -> {18};
|
|
18 -> {28} [color=green];
|
|
19 -> {20};
|
|
20 -> {21};
|
|
21 -> {22};
|
|
22 -> {23};
|
|
23 -> {24};
|
|
24 -> {25};
|
|
25 -> {13};
|
|
|
|
}
|