Files
Brian Norman b2041e0927 [FIR] Disable data flow from in-place lambdas
There are many complications with the current design of passing data
from within in-place lambdas to surrounding code. Solving these
complications will involve more time to investigation than is available
within the K2 release. So we are disabling passing type statement
information from lambdas for the time being until more time can be
devoted to a more complete solution.

^KT-60958 Fixed
^KT-63530 Fixed
2023-12-14 16:40:27 +00:00

124 lines
4.1 KiB
Plaintext
Vendored

digraph defaultArguments_kt {
graph [nodesep=3]
node [shape=box penwidth=2]
edge [penwidth=2]
subgraph cluster_0 {
color=red
0 [label="Enter file defaultArguments.kt" style="filled" fillcolor=red];
1 [label="Exit file defaultArguments.kt" style="filled" fillcolor=red];
}
0 -> {1} [color=green];
subgraph cluster_1 {
color=red
2 [label="Enter function foo" style="filled" fillcolor=red];
subgraph cluster_2 {
color=blue
3 [label="Enter block"];
4 [label="Const: Int(1)"];
5 [label="Jump: ^foo Int(1)"];
6 [label="Stub" style="filled" fillcolor=gray];
7 [label="Exit block" style="filled" fillcolor=gray];
}
8 [label="Exit function foo" style="filled" fillcolor=red];
}
2 -> {3};
3 -> {4};
4 -> {5};
5 -> {8};
5 -> {6} [style=dotted];
6 -> {7} [style=dotted];
7 -> {8} [style=dotted];
subgraph cluster_3 {
color=red
9 [label="Enter function test" style="filled" fillcolor=red];
10 [label="Enter default value of y"];
subgraph cluster_4 {
color=blue
11 [label="Enter default value of y" style="filled" fillcolor=red];
12 [label="Access variable R|<local>/x|"];
13 [label="Type operator: (R|<local>/x| as R|kotlin/String|)"];
14 [label="Exit default value of y" style="filled" fillcolor=red];
}
15 [label="Exit default value of y"];
16 [label="Enter default value of z"];
subgraph cluster_5 {
color=blue
17 [label="Enter default value of z" style="filled" fillcolor=red];
subgraph cluster_6 {
color=blue
18 [label="Function call arguments enter"];
19 [label="Postponed enter to lambda"];
subgraph cluster_7 {
color=blue
20 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_8 {
color=blue
21 [label="Enter block"];
subgraph cluster_9 {
color=blue
22 [label="Function call arguments enter"];
23 [label="Function call arguments exit"];
}
24 [label="Function call: R|/foo|()" style="filled" fillcolor=yellow];
25 [label="Exit block"];
}
26 [label="Exit function <anonymous>" style="filled" fillcolor=red];
}
27 [label="Function call arguments exit"];
}
28 [label="Postponed exit from lambda"];
29 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
30 [label="Exit default value of z" style="filled" fillcolor=red];
}
31 [label="Exit default value of z"];
subgraph cluster_10 {
color=blue
32 [label="Enter block"];
subgraph cluster_11 {
color=blue
33 [label="Function call arguments enter"];
34 [label="Function call arguments exit"];
}
35 [label="Function call: R|/foo|()" style="filled" fillcolor=yellow];
36 [label="Exit block"];
}
37 [label="Exit function test" style="filled" fillcolor=red];
}
9 -> {10};
10 -> {11 15};
10 -> {11} [style=dashed];
11 -> {12};
12 -> {13};
13 -> {14};
14 -> {15};
15 -> {16};
16 -> {17 31};
16 -> {17} [style=dashed];
17 -> {18};
18 -> {19};
19 -> {20 27};
19 -> {28} [style=dotted];
19 -> {20} [style=dashed];
20 -> {21};
21 -> {22};
22 -> {23};
23 -> {24};
24 -> {25};
25 -> {26};
26 -> {28};
27 -> {29};
28 -> {29} [label="Postponed"];
29 -> {30};
30 -> {31};
31 -> {32};
32 -> {33};
33 -> {34};
34 -> {35};
35 -> {36};
36 -> {37};
}