azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[FIR] Introduce new algorithm for building CFG for declarations

Browse Source
This commit is contained in:
Dmitriy Novozhilov
2020-06-05 15:47:57 +03:00
parent 950bbfe3a5
commit 87859b0faa
95 changed files with 16070 additions and 13199 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/analysis-tests/testData/resolveWithStdlib/complexPostponedCfg.dot
Vendored
+107 -79
View File
@@ -5,111 +5,139 @@ digraph complexPostponedCfg_kt {
subgraph cluster_0 {
color=red
0 [label="Enter class FirBase" style="filled" fillcolor=red];
1 [label="Exit class FirBase" style="filled" fillcolor=red];
1 [label="Enter class FirBase" style="filled" fillcolor=red];
0 [label="Exit class FirBase" style="filled" fillcolor=red];
}
0 -> {1} [color=green];
1 -> {0} [color=green];
subgraph cluster_1 {
color=red
2 [label="Enter class FirFunctionCall" style="filled" fillcolor=red];
3 [label="Exit class FirFunctionCall" style="filled" fillcolor=red];
3 [label="Enter class FirFunctionCall" style="filled" fillcolor=red];
2 [label="Exit class FirFunctionCall" style="filled" fillcolor=red];
}
2 -> {3} [color=green];
3 -> {2} [color=green];
subgraph cluster_2 {
color=red
4 [label="Enter function foo" style="filled" fillcolor=red];
6 [label="Access variable R|<local>/statements|"];
7 [label="Function call: R|<local>/statements|.R|kotlin/collections/last|<R|FirBase|>()"];
8 [label="Type operator: (R|<local>/statements|.R|kotlin/collections/last|<R|FirBase|>() as R|FirFunctionCall|)"];
9 [label="Postponed enter to lambda"];
subgraph cluster_3 {
color=blue
19 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
21 [label="Postponed enter to lambda"];
6 [label="Enter block"];
7 [label="Access variable R|<local>/statements|"];
8 [label="Function call: R|<local>/statements|.R|kotlin/collections/last|<R|FirBase|>()"];
9 [label="Type operator: (R|<local>/statements|.R|kotlin/collections/last|<R|FirBase|>() as R|FirFunctionCall|)"];
10 [label="Postponed enter to lambda"];
subgraph cluster_4 {
color=blue
24 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
26 [label="Access variable this@R|special/anonymous|"];
27 [label="Function call: this@R|special/anonymous|.R|FakeOverride<kotlin/collections/MutableList.add: R|kotlin/Boolean|>|(...)"];
28 [label="Access variable R|<local>/arguments|"];
29 [label="Function call: R|<local>/arguments|.R|kotlin/collections/last|<R|FirBase|>()"];
30 [label="Type operator: (R|<local>/arguments|.R|kotlin/collections/last|<R|FirBase|>() as R|FirFunctionCall|)"];
31 [label="Postponed enter to lambda"];
21 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_5 {
color=blue
35 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
37 [label="Access variable this@R|special/anonymous|"];
38 [label="Function call: this@R|special/anonymous|.R|FakeOverride<kotlin/collections/MutableList.add: R|kotlin/Boolean|>|(...)"];
39 [label="Access variable R|<local>/explicitReceiver|"];
40 [label="Type operator: (R|<local>/explicitReceiver| as R|FirFunctionCall|)"];
41 [label="Function call: this@R|special/anonymous|.R|FakeOverride<kotlin/collections/MutableList.add: R|kotlin/Boolean|>|(...)"];
36 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
23 [label="Enter block"];
24 [label="Postponed enter to lambda"];
subgraph cluster_6 {
color=blue
28 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_7 {
color=blue
30 [label="Enter block"];
31 [label="Access variable this@R|special/anonymous|"];
32 [label="Function call: this@R|special/anonymous|.R|FakeOverride<kotlin/collections/MutableList.add: R|kotlin/Boolean|>|(...)"];
33 [label="Access variable R|<local>/arguments|"];
34 [label="Function call: R|<local>/arguments|.R|kotlin/collections/last|<R|FirBase|>()"];
35 [label="Type operator: (R|<local>/arguments|.R|kotlin/collections/last|<R|FirBase|>() as R|FirFunctionCall|)"];
36 [label="Postponed enter to lambda"];
subgraph cluster_8 {
color=blue
41 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_9 {
color=blue
43 [label="Enter block"];
44 [label="Access variable this@R|special/anonymous|"];
45 [label="Function call: this@R|special/anonymous|.R|FakeOverride<kotlin/collections/MutableList.add: R|kotlin/Boolean|>|(...)"];
46 [label="Access variable R|<local>/explicitReceiver|"];
47 [label="Type operator: (R|<local>/explicitReceiver| as R|FirFunctionCall|)"];
48 [label="Function call: this@R|special/anonymous|.R|FakeOverride<kotlin/collections/MutableList.add: R|kotlin/Boolean|>|(...)"];
49 [label="Exit block"];
}
42 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
39 [label="Call arguments union" style="filled" fillcolor=yellow];
37 [label="Postponed exit from lambda"];
38 [label="Function call: R|kotlin/with|<R|FirFunctionCall|, R|kotlin/Boolean|>(...)"];
40 [label="Exit block"];
}
29 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
25 [label="Postponed exit from lambda"];
26 [label="Function call: R|kotlin/collections/buildList|<R|kotlin/Any?|>(...)"];
27 [label="Exit block"];
}
34 [label="Call arguments union" style="filled" fillcolor=yellow];
32 [label="Postponed exit from lambda"];
33 [label="Function call: R|kotlin/with|<R|FirFunctionCall|, R|kotlin/Boolean|>(...)"];
25 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
22 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
22 [label="Postponed exit from lambda"];
23 [label="Function call: R|kotlin/collections/buildList|<R|kotlin/Any?|>(...)"];
20 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
13 [label="Call arguments union" style="filled" fillcolor=yellow];
11 [label="Postponed exit from lambda"];
12 [label="Function call: R|kotlin/with|<R|FirFunctionCall|, R|kotlin/Nothing|>(...)"];
14 [label="Stub" style="filled" fillcolor=gray];
15 [label="Variable declaration: lval firstCalls: R|kotlin/Nothing|" style="filled" fillcolor=gray];
16 [label="Access variable R|<local>/firstCalls|" style="filled" fillcolor=gray];
17 [label="Stub" style="filled" fillcolor=gray];
18 [label="Jump: ^foo R|<local>/firstCalls|" style="filled" fillcolor=gray];
19 [label="Stub" style="filled" fillcolor=gray];
20 [label="Exit block" style="filled" fillcolor=gray];
}
12 [label="Call arguments union" style="filled" fillcolor=yellow];
10 [label="Postponed exit from lambda"];
11 [label="Function call: R|kotlin/with|<R|FirFunctionCall|, R|kotlin/Nothing|>(...)"];
13 [label="Stub" style="filled" fillcolor=gray];
14 [label="Variable declaration: lval firstCalls: R|kotlin/Nothing|" style="filled" fillcolor=gray];
15 [label="Access variable R|<local>/firstCalls|" style="filled" fillcolor=gray];
16 [label="Stub" style="filled" fillcolor=gray];
17 [label="Jump: ^foo R|<local>/firstCalls|" style="filled" fillcolor=gray];
18 [label="Stub" style="filled" fillcolor=gray];
5 [label="Exit function foo" style="filled" fillcolor=red];
}
4 -> {6};
6 -> {7};
7 -> {8};
8 -> {9};
9 -> {19};
9 -> {10} [color=red];
10 -> {11} [color=green];
11 -> {5};
11 -> {13} [style=dotted];
12 -> {11};
13 -> {14} [style=dotted];
9 -> {10};
10 -> {21};
10 -> {11} [color=red];
11 -> {12} [color=green];
12 -> {5};
12 -> {14} [style=dotted];
13 -> {12} [color=red];
14 -> {15} [style=dotted];
15 -> {5 16} [style=dotted];
16 -> {17} [style=dotted];
17 -> {5 18} [style=dotted];
18 -> {5} [style=dotted];
19 -> {21};
20 -> {10} [color=green];
20 -> {12} [color=red];
21 -> {24};
21 -> {22} [color=red];
22 -> {23};
23 -> {20};
24 -> {26};
25 -> {22} [color=green];
25 -> {12} [color=red];
15 -> {16} [style=dotted];
16 -> {5 17} [style=dotted];
17 -> {18} [style=dotted];
18 -> {5 19} [style=dotted];
19 -> {20} [style=dotted];
20 -> {5} [style=dotted];
21 -> {23};
22 -> {11} [color=green];
22 -> {13} [color=red];
23 -> {24};
24 -> {28};
24 -> {25} [color=red];
25 -> {26};
26 -> {27};
27 -> {28};
28 -> {29};
29 -> {30};
27 -> {22};
28 -> {30};
29 -> {25} [color=green];
29 -> {13} [color=red];
30 -> {31};
31 -> {35};
31 -> {32} [color=red];
32 -> {33} [color=green];
33 -> {25};
34 -> {33} [color=red];
35 -> {37};
36 -> {32} [color=green];
36 -> {34} [color=red];
37 -> {38};
38 -> {39};
39 -> {40};
40 -> {41};
41 -> {36};
31 -> {32};
32 -> {33};
33 -> {34};
34 -> {35};
35 -> {36};
36 -> {41};
36 -> {37} [color=red];
37 -> {38} [color=green];
38 -> {40};
39 -> {38} [color=red];
40 -> {29};
41 -> {43};
42 -> {37} [color=green];
42 -> {39} [color=red];
43 -> {44};
44 -> {45};
45 -> {46};
46 -> {47};
47 -> {48};
48 -> {49};
49 -> {42};
}
compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromLibrary/callsInPlace.dot
Vendored
+367 -228
View File
@@ -6,279 +6,418 @@ digraph callsInPlace_kt {
subgraph cluster_0 {
color=red
0 [label="Enter function test" style="filled" fillcolor=red];
2 [label="Variable declaration: lval x: R|kotlin/Int|"];
3 [label="Postponed enter to lambda"];
subgraph cluster_1 {
color=blue
9 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
11 [label="Const: Int(1)"];
12 [label="Assignment: R|<local>/x|"];
10 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
2 [label="Enter block"];
3 [label="Variable declaration: lval x: R|kotlin/Int|"];
4 [label="Postponed enter to lambda"];
subgraph cluster_2 {
color=blue
11 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_3 {
color=blue
13 [label="Enter block"];
14 [label="Const: Int(1)"];
15 [label="Assignment: R|<local>/x|"];
16 [label="Exit block"];
}
12 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
7 [label="Call arguments union" style="filled" fillcolor=yellow];
5 [label="Postponed exit from lambda"];
6 [label="Function call: R|kotlin/run|<R|kotlin/Unit|>(...)"];
8 [label="Access variable R|<local>/x|"];
9 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()"];
10 [label="Exit block"];
}
6 [label="Call arguments union" style="filled" fillcolor=yellow];
4 [label="Postponed exit from lambda"];
5 [label="Function call: R|kotlin/run|<R|kotlin/Unit|>(...)"];
7 [label="Access variable R|<local>/x|"];
8 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()"];
1 [label="Exit function test" style="filled" fillcolor=red];
}
0 -> {2};
2 -> {3};
3 -> {9};
3 -> {4} [color=red];
4 -> {5} [color=green];
5 -> {7};
6 -> {5} [color=red];
7 -> {8};
8 -> {1};
9 -> {11};
10 -> {4} [color=green];
10 -> {6} [color=red];
11 -> {12};
12 -> {10};
subgraph cluster_2 {
color=red
13 [label="Enter function test_2" style="filled" fillcolor=red];
15 [label="Const: Int(10)"];
16 [label="Postponed enter to lambda"];
subgraph cluster_3 {
color=blue
19 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
21 [label="Const: String(test_2)"];
20 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
17 [label="Postponed exit from lambda"];
18 [label="Function call: R|kotlin/repeat|(...)"];
14 [label="Exit function test_2" style="filled" fillcolor=red];
}
13 -> {15};
3 -> {4};
4 -> {11};
4 -> {5} [color=red];
5 -> {6} [color=green];
6 -> {8};
7 -> {6} [color=red];
8 -> {9};
9 -> {10};
10 -> {1};
11 -> {13};
12 -> {5} [color=green];
12 -> {7} [color=red];
13 -> {14};
14 -> {15};
15 -> {16};
16 -> {19};
16 -> {17} [color=red];
17 -> {18};
18 -> {14};
19 -> {20 21};
20 -> {17} [color=green];
20 -> {19} [color=green style=dashed];
21 -> {20};
16 -> {12};
subgraph cluster_4 {
color=red
22 [label="Enter function test_3" style="filled" fillcolor=red];
24 [label="Postponed enter to lambda"];
17 [label="Enter function test_2" style="filled" fillcolor=red];
subgraph cluster_5 {
color=blue
28 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
30 [label="Const: String(test_3)"];
29 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
19 [label="Enter block"];
20 [label="Const: Int(10)"];
21 [label="Postponed enter to lambda"];
subgraph cluster_6 {
color=blue
25 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_7 {
color=blue
27 [label="Enter block"];
28 [label="Const: String(test_2)"];
29 [label="Exit block"];
}
26 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
22 [label="Postponed exit from lambda"];
23 [label="Function call: R|kotlin/repeat|(...)"];
24 [label="Exit block"];
}
25 [label="Postponed exit from lambda"];
26 [label="Const: Int(10)"];
27 [label="Function call: R|kotlin/repeat|(...)"];
23 [label="Exit function test_3" style="filled" fillcolor=red];
18 [label="Exit function test_2" style="filled" fillcolor=red];
}
22 -> {24};
24 -> {28};
24 -> {25} [color=red];
25 -> {26};
26 -> {27};
27 -> {23};
28 -> {29 30};
29 -> {25} [color=green];
29 -> {28} [color=green style=dashed];
30 -> {29};
subgraph cluster_6 {
color=red
31 [label="Enter function test_4" style="filled" fillcolor=red];
33 [label="Const: Int(1)"];
34 [label="Postponed enter to lambda"];
subgraph cluster_7 {
color=blue
38 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
40 [label="Const: String(test_4)"];
41 [label="Access variable R|<local>/it|"];
42 [label="Const: Int(0)"];
43 [label="Function call: R|<local>/it|.R|kotlin/Int.compareTo|(...)"];
44 [label="Comparison >"];
39 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
37 [label="Call arguments union" style="filled" fillcolor=yellow];
35 [label="Postponed exit from lambda"];
36 [label="Function call: Int(1).R|kotlin/takeUnless|<R|kotlin/Int|>(...)"];
32 [label="Exit function test_4" style="filled" fillcolor=red];
}
31 -> {33};
33 -> {34};
34 -> {38};
34 -> {35} [color=red];
35 -> {36} [color=green];
36 -> {32};
37 -> {36} [color=red];
38 -> {40};
39 -> {35} [color=green];
39 -> {37} [color=red];
40 -> {41};
41 -> {42};
42 -> {43};
43 -> {44};
44 -> {39};
17 -> {19};
19 -> {20};
20 -> {21};
21 -> {25};
21 -> {22} [color=red];
22 -> {23};
23 -> {24};
24 -> {18};
25 -> {26 27};
26 -> {22} [color=green];
26 -> {25} [color=green style=dashed];
27 -> {28};
28 -> {29};
29 -> {26};
subgraph cluster_8 {
color=red
45 [label="Enter function test_5" style="filled" fillcolor=red];
47 [label="Const: Int(1)"];
48 [label="Postponed enter to lambda"];
30 [label="Enter function test_3" style="filled" fillcolor=red];
subgraph cluster_9 {
color=blue
52 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
54 [label="Const: String(test_5)"];
55 [label="Access variable R|<local>/it|"];
56 [label="Const: Int(0)"];
57 [label="Function call: R|<local>/it|.R|kotlin/Int.compareTo|(...)"];
58 [label="Comparison >"];
53 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
32 [label="Enter block"];
33 [label="Postponed enter to lambda"];
subgraph cluster_10 {
color=blue
38 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_11 {
color=blue
40 [label="Enter block"];
41 [label="Const: String(test_3)"];
42 [label="Exit block"];
}
39 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
34 [label="Postponed exit from lambda"];
35 [label="Const: Int(10)"];
36 [label="Function call: R|kotlin/repeat|(...)"];
37 [label="Exit block"];
}
51 [label="Call arguments union" style="filled" fillcolor=yellow];
49 [label="Postponed exit from lambda"];
50 [label="Function call: Int(1).R|kotlin/takeUnless|<R|kotlin/Int|>(...)"];
46 [label="Exit function test_5" style="filled" fillcolor=red];
31 [label="Exit function test_3" style="filled" fillcolor=red];
}
45 -> {47};
47 -> {48};
48 -> {52};
48 -> {49} [color=red];
49 -> {50} [color=green];
50 -> {46};
51 -> {50} [color=red];
30 -> {32};
32 -> {33};
33 -> {38};
33 -> {34} [color=red];
34 -> {35};
35 -> {36};
36 -> {37};
37 -> {31};
38 -> {39 40};
39 -> {34} [color=green];
39 -> {38} [color=green style=dashed];
40 -> {41};
41 -> {42};
42 -> {39};
subgraph cluster_12 {
color=red
43 [label="Enter function test_4" style="filled" fillcolor=red];
subgraph cluster_13 {
color=blue
45 [label="Enter block"];
46 [label="Const: Int(1)"];
47 [label="Postponed enter to lambda"];
subgraph cluster_14 {
color=blue
52 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_15 {
color=blue
54 [label="Enter block"];
55 [label="Const: String(test_4)"];
56 [label="Access variable R|<local>/it|"];
57 [label="Const: Int(0)"];
58 [label="Function call: R|<local>/it|.R|kotlin/Int.compareTo|(...)"];
59 [label="Comparison >"];
60 [label="Exit block"];
}
53 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
50 [label="Call arguments union" style="filled" fillcolor=yellow];
48 [label="Postponed exit from lambda"];
49 [label="Function call: Int(1).R|kotlin/takeUnless|<R|kotlin/Int|>(...)"];
51 [label="Exit block"];
}
44 [label="Exit function test_4" style="filled" fillcolor=red];
}
43 -> {45};
45 -> {46};
46 -> {47};
47 -> {52};
47 -> {48} [color=red];
48 -> {49} [color=green];
49 -> {51};
50 -> {49} [color=red];
51 -> {44};
52 -> {54};
53 -> {49} [color=green];
53 -> {51} [color=red];
53 -> {48} [color=green];
53 -> {50} [color=red];
54 -> {55};
55 -> {56};
56 -> {57};
57 -> {58};
58 -> {53};
58 -> {59};
59 -> {60};
60 -> {53};
subgraph cluster_10 {
subgraph cluster_16 {
color=red
59 [label="Enter function myRun" style="filled" fillcolor=red];
61 [label="Function call: R|<local>/block1|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
62 [label="Function call: R|<local>/block2|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
60 [label="Exit function myRun" style="filled" fillcolor=red];
}
59 -> {61};
61 -> {62};
62 -> {60};
subgraph cluster_11 {
color=red
63 [label="Enter function test_6" style="filled" fillcolor=red];
65 [label="Postponed enter to lambda"];
subgraph cluster_12 {
61 [label="Enter function test_5" style="filled" fillcolor=red];
subgraph cluster_17 {
color=blue
70 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
72 [label="Const: String(test_6_1)"];
71 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
63 [label="Enter block"];
64 [label="Const: Int(1)"];
65 [label="Postponed enter to lambda"];
subgraph cluster_18 {
color=blue
70 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_19 {
color=blue
72 [label="Enter block"];
73 [label="Const: String(test_5)"];
74 [label="Access variable R|<local>/it|"];
75 [label="Const: Int(0)"];
76 [label="Function call: R|<local>/it|.R|kotlin/Int.compareTo|(...)"];
77 [label="Comparison >"];
78 [label="Exit block"];
}
71 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
68 [label="Call arguments union" style="filled" fillcolor=yellow];
66 [label="Postponed exit from lambda"];
67 [label="Function call: Int(1).R|kotlin/takeUnless|<R|kotlin/Int|>(...)"];
69 [label="Exit block"];
}
66 [label="Postponed exit from lambda"];
67 [label="Postponed enter to lambda"];
subgraph cluster_13 {
color=blue
73 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
75 [label="Const: String(test_6_2)"];
74 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
68 [label="Postponed exit from lambda"];
69 [label="Function call: R|/myRun|(...)"];
64 [label="Exit function test_6" style="filled" fillcolor=red];
62 [label="Exit function test_5" style="filled" fillcolor=red];
}
63 -> {65};
61 -> {63};
63 -> {64};
64 -> {65};
65 -> {70};
65 -> {66} [color=red];
66 -> {67};
67 -> {73};
67 -> {68} [color=red];
68 -> {69};
69 -> {64};
70 -> {71 72};
66 -> {67} [color=green];
67 -> {69};
68 -> {67} [color=red];
69 -> {62};
70 -> {72};
71 -> {66} [color=green];
71 -> {70} [color=green style=dashed];
72 -> {71};
73 -> {74 75};
74 -> {68} [color=green];
74 -> {73} [color=green style=dashed];
75 -> {74};
71 -> {68} [color=red];
72 -> {73};
73 -> {74};
74 -> {75};
75 -> {76};
76 -> {77};
77 -> {78};
78 -> {71};
subgraph cluster_14 {
subgraph cluster_20 {
color=red
76 [label="Enter function test_7" style="filled" fillcolor=red];
78 [label="Postponed enter to lambda"];
subgraph cluster_15 {
79 [label="Enter function myRun" style="filled" fillcolor=red];
subgraph cluster_21 {
color=blue
83 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
85 [label="Const: String(test_7_2)"];
84 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
81 [label="Enter block"];
82 [label="Function call: R|<local>/block1|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
83 [label="Function call: R|<local>/block2|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
84 [label="Exit block"];
}
79 [label="Postponed exit from lambda"];
80 [label="Postponed enter to lambda"];
subgraph cluster_16 {
color=blue
86 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
88 [label="Const: String(test_7_1)"];
87 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
81 [label="Postponed exit from lambda"];
82 [label="Function call: R|/myRun|(...)"];
77 [label="Exit function test_7" style="filled" fillcolor=red];
80 [label="Exit function myRun" style="filled" fillcolor=red];
}
76 -> {78};
78 -> {83};
78 -> {79} [color=red];
79 -> {80};
80 -> {86};
80 -> {81} [color=red];
79 -> {81};
81 -> {82};
82 -> {77};
83 -> {84 85};
84 -> {79} [color=green];
84 -> {83} [color=green style=dashed];
85 -> {84};
86 -> {87 88};
87 -> {81} [color=green];
87 -> {86} [color=green style=dashed];
88 -> {87};
82 -> {83};
83 -> {84};
84 -> {80};
subgraph cluster_17 {
subgraph cluster_22 {
color=red
89 [label="Enter function myDummyRun" style="filled" fillcolor=red];
91 [label="Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
90 [label="Exit function myDummyRun" style="filled" fillcolor=red];
}
89 -> {91};
91 -> {90};
subgraph cluster_18 {
color=red
92 [label="Enter function test_8" style="filled" fillcolor=red];
94 [label="Postponed enter to lambda"];
subgraph cluster_19 {
85 [label="Enter function test_6" style="filled" fillcolor=red];
subgraph cluster_23 {
color=blue
97 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
99 [label="Const: String(test_8)"];
98 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
87 [label="Enter block"];
88 [label="Postponed enter to lambda"];
subgraph cluster_24 {
color=blue
94 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_25 {
color=blue
96 [label="Enter block"];
97 [label="Const: String(test_6_1)"];
98 [label="Exit block"];
}
95 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
89 [label="Postponed exit from lambda"];
90 [label="Postponed enter to lambda"];
subgraph cluster_26 {
color=blue
99 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_27 {
color=blue
101 [label="Enter block"];
102 [label="Const: String(test_6_2)"];
103 [label="Exit block"];
}
100 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
91 [label="Postponed exit from lambda"];
92 [label="Function call: R|/myRun|(...)"];
93 [label="Exit block"];
}
95 [label="Postponed exit from lambda"];
96 [label="Function call: R|/myDummyRun|(...)"];
93 [label="Exit function test_8" style="filled" fillcolor=red];
86 [label="Exit function test_6" style="filled" fillcolor=red];
}
92 -> {94};
94 -> {95};
94 -> {97} [color=red];
95 -> {96};
96 -> {93};
97 -> {99};
99 -> {98};
85 -> {87};
87 -> {88};
88 -> {94};
88 -> {89} [color=red];
89 -> {90};
90 -> {99};
90 -> {91} [color=red];
91 -> {92};
92 -> {93};
93 -> {86};
94 -> {95 96};
95 -> {89} [color=green];
95 -> {94} [color=green style=dashed];
96 -> {97};
97 -> {98};
98 -> {95};
99 -> {100 101};
100 -> {91} [color=green];
100 -> {99} [color=green style=dashed];
101 -> {102};
102 -> {103};
103 -> {100};
subgraph cluster_28 {
color=red
104 [label="Enter function test_7" style="filled" fillcolor=red];
subgraph cluster_29 {
color=blue
106 [label="Enter block"];
107 [label="Postponed enter to lambda"];
subgraph cluster_30 {
color=blue
113 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_31 {
color=blue
115 [label="Enter block"];
116 [label="Const: String(test_7_2)"];
117 [label="Exit block"];
}
114 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
108 [label="Postponed exit from lambda"];
109 [label="Postponed enter to lambda"];
subgraph cluster_32 {
color=blue
118 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_33 {
color=blue
120 [label="Enter block"];
121 [label="Const: String(test_7_1)"];
122 [label="Exit block"];
}
119 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
110 [label="Postponed exit from lambda"];
111 [label="Function call: R|/myRun|(...)"];
112 [label="Exit block"];
}
105 [label="Exit function test_7" style="filled" fillcolor=red];
}
104 -> {106};
106 -> {107};
107 -> {113};
107 -> {108} [color=red];
108 -> {109};
109 -> {118};
109 -> {110} [color=red];
110 -> {111};
111 -> {112};
112 -> {105};
113 -> {114 115};
114 -> {108} [color=green];
114 -> {113} [color=green style=dashed];
115 -> {116};
116 -> {117};
117 -> {114};
118 -> {119 120};
119 -> {110} [color=green];
119 -> {118} [color=green style=dashed];
120 -> {121};
121 -> {122};
122 -> {119};
subgraph cluster_34 {
color=red
123 [label="Enter function myDummyRun" style="filled" fillcolor=red];
subgraph cluster_35 {
color=blue
125 [label="Enter block"];
126 [label="Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
127 [label="Exit block"];
}
124 [label="Exit function myDummyRun" style="filled" fillcolor=red];
}
123 -> {125};
125 -> {126};
126 -> {127};
127 -> {124};
subgraph cluster_36 {
color=red
128 [label="Enter function test_8" style="filled" fillcolor=red];
subgraph cluster_37 {
color=blue
130 [label="Enter block"];
131 [label="Postponed enter to lambda"];
subgraph cluster_38 {
color=blue
135 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_39 {
color=blue
137 [label="Enter block"];
138 [label="Const: String(test_8)"];
139 [label="Exit block"];
}
136 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
132 [label="Postponed exit from lambda"];
133 [label="Function call: R|/myDummyRun|(...)"];
134 [label="Exit block"];
}
129 [label="Exit function test_8" style="filled" fillcolor=red];
}
128 -> {130};
130 -> {131};
131 -> {132 135};
132 -> {133};
133 -> {134};
134 -> {129};
135 -> {137};
137 -> {138};
138 -> {139};
139 -> {136};
}
compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromLibrary/conditionalEffects.dot
Vendored
+284 -242
View File
@@ -6,18 +6,23 @@ digraph conditionalEffects_kt {
subgraph cluster_0 {
color=red
0 [label="Enter function test_1" style="filled" fillcolor=red];
2 [label="Access variable R|<local>/x|"];
3 [label="Type operator: (R|<local>/x| is R|kotlin/Int|)"];
4 [label="Function call: R|kotlin/require|(...)"];
subgraph cluster_1 {
color=blue
5 [label="Enter contract"];
6 [label="Access variable R|<local>/x|"];
7 [label="Type operator: (R|<local>/x| is R|kotlin/Int|)"];
8 [label="Exit contract"];
2 [label="Enter block"];
3 [label="Access variable R|<local>/x|"];
4 [label="Type operator: (R|<local>/x| is R|kotlin/Int|)"];
5 [label="Function call: R|kotlin/require|(...)"];
subgraph cluster_2 {
color=blue
6 [label="Enter contract"];
7 [label="Access variable R|<local>/x|"];
8 [label="Type operator: (R|<local>/x| is R|kotlin/Int|)"];
9 [label="Exit contract"];
}
10 [label="Access variable R|<local>/x|"];
11 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()"];
12 [label="Exit block"];
}
9 [label="Access variable R|<local>/x|"];
10 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()"];
1 [label="Exit function test_1" style="filled" fillcolor=red];
}
0 -> {2};
@@ -29,204 +34,224 @@ digraph conditionalEffects_kt {
7 -> {8};
8 -> {9};
9 -> {10};
10 -> {1};
10 -> {11};
11 -> {12};
12 -> {1};
subgraph cluster_2 {
subgraph cluster_3 {
color=red
11 [label="Enter function test_2" style="filled" fillcolor=red];
13 [label="Access variable R|<local>/x|"];
14 [label="Function call: R|kotlin/requireNotNull|<R|kotlin/String|>(...)"];
subgraph cluster_3 {
13 [label="Enter function test_2" style="filled" fillcolor=red];
subgraph cluster_4 {
color=blue
15 [label="Enter contract"];
15 [label="Enter block"];
16 [label="Access variable R|<local>/x|"];
17 [label="Const: Null(null)"];
18 [label="Operator !="];
19 [label="Exit contract"];
17 [label="Function call: R|kotlin/requireNotNull|<R|kotlin/String|>(...)"];
subgraph cluster_5 {
color=blue
18 [label="Enter contract"];
19 [label="Access variable R|<local>/x|"];
20 [label="Const: Null(null)"];
21 [label="Operator !="];
22 [label="Exit contract"];
}
23 [label="Access variable R|<local>/x|"];
24 [label="Access variable R|kotlin/String.length|"];
25 [label="Exit block"];
}
20 [label="Access variable R|<local>/x|"];
21 [label="Access variable R|kotlin/String.length|"];
12 [label="Exit function test_2" style="filled" fillcolor=red];
14 [label="Exit function test_2" style="filled" fillcolor=red];
}
11 -> {13};
13 -> {14};
14 -> {15};
13 -> {15};
15 -> {16};
16 -> {17};
17 -> {18};
18 -> {19};
19 -> {20};
20 -> {21};
21 -> {12};
21 -> {22};
22 -> {23};
23 -> {24};
24 -> {25};
25 -> {14};
subgraph cluster_4 {
subgraph cluster_6 {
color=red
22 [label="Enter function test_3" style="filled" fillcolor=red];
24 [label="Access variable R|<local>/x|"];
25 [label="Const: Null(null)"];
26 [label="Operator !="];
27 [label="Function call: R|kotlin/require|(...)"];
subgraph cluster_5 {
26 [label="Enter function test_3" style="filled" fillcolor=red];
subgraph cluster_7 {
color=blue
28 [label="Enter contract"];
28 [label="Enter block"];
29 [label="Access variable R|<local>/x|"];
30 [label="Const: Null(null)"];
31 [label="Operator !="];
32 [label="Exit contract"];
32 [label="Function call: R|kotlin/require|(...)"];
subgraph cluster_8 {
color=blue
33 [label="Enter contract"];
34 [label="Access variable R|<local>/x|"];
35 [label="Const: Null(null)"];
36 [label="Operator !="];
37 [label="Exit contract"];
}
38 [label="Access variable R|<local>/x|"];
39 [label="Access variable R|kotlin/String.length|"];
40 [label="Exit block"];
}
33 [label="Access variable R|<local>/x|"];
34 [label="Access variable R|kotlin/String.length|"];
23 [label="Exit function test_3" style="filled" fillcolor=red];
27 [label="Exit function test_3" style="filled" fillcolor=red];
}
22 -> {24};
24 -> {25};
25 -> {26};
26 -> {27};
27 -> {28};
26 -> {28};
28 -> {29};
29 -> {30};
30 -> {31};
31 -> {32};
32 -> {33};
33 -> {34};
34 -> {23};
subgraph cluster_6 {
color=red
35 [label="Enter function test_4" style="filled" fillcolor=red];
subgraph cluster_7 {
color=blue
38 [label="Enter &&"];
39 [label="Access variable R|<local>/x|"];
40 [label="Type operator: (R|<local>/x| is R|kotlin/String|)"];
41 [label="Exit left part of &&"];
42 [label="Enter right part of &&"];
43 [label="Access variable R|<local>/y|"];
44 [label="Const: Null(null)"];
45 [label="Operator !="];
37 [label="Exit &&"];
}
46 [label="Function call: R|kotlin/require|(...)"];
subgraph cluster_8 {
color=blue
47 [label="Enter contract"];
subgraph cluster_9 {
color=blue
49 [label="Enter &&"];
50 [label="Access variable R|<local>/x|"];
51 [label="Type operator: (R|<local>/x| is R|kotlin/String|)"];
52 [label="Exit left part of &&"];
53 [label="Enter right part of &&"];
54 [label="Access variable R|<local>/y|"];
55 [label="Const: Null(null)"];
56 [label="Operator !="];
48 [label="Exit &&"];
}
57 [label="Exit contract"];
}
58 [label="Access variable R|<local>/x|"];
59 [label="Access variable R|kotlin/String.length|"];
60 [label="Access variable R|<local>/y|"];
61 [label="Access variable R|kotlin/String.length|"];
36 [label="Exit function test_4" style="filled" fillcolor=red];
}
35 -> {38};
37 -> {46};
34 -> {35};
35 -> {36};
36 -> {37};
37 -> {38};
38 -> {39};
39 -> {40};
40 -> {41};
41 -> {37 42};
42 -> {43};
43 -> {44};
44 -> {45};
45 -> {37};
40 -> {27};
subgraph cluster_9 {
color=red
41 [label="Enter function test_4" style="filled" fillcolor=red];
subgraph cluster_10 {
color=blue
43 [label="Enter block"];
subgraph cluster_11 {
color=blue
45 [label="Enter &&"];
46 [label="Access variable R|<local>/x|"];
47 [label="Type operator: (R|<local>/x| is R|kotlin/String|)"];
48 [label="Exit left part of &&"];
49 [label="Enter right part of &&"];
50 [label="Access variable R|<local>/y|"];
51 [label="Const: Null(null)"];
52 [label="Operator !="];
44 [label="Exit &&"];
}
53 [label="Function call: R|kotlin/require|(...)"];
subgraph cluster_12 {
color=blue
54 [label="Enter contract"];
subgraph cluster_13 {
color=blue
56 [label="Enter &&"];
57 [label="Access variable R|<local>/x|"];
58 [label="Type operator: (R|<local>/x| is R|kotlin/String|)"];
59 [label="Exit left part of &&"];
60 [label="Enter right part of &&"];
61 [label="Access variable R|<local>/y|"];
62 [label="Const: Null(null)"];
63 [label="Operator !="];
55 [label="Exit &&"];
}
64 [label="Exit contract"];
}
65 [label="Access variable R|<local>/x|"];
66 [label="Access variable R|kotlin/String.length|"];
67 [label="Access variable R|<local>/y|"];
68 [label="Access variable R|kotlin/String.length|"];
69 [label="Exit block"];
}
42 [label="Exit function test_4" style="filled" fillcolor=red];
}
41 -> {43};
43 -> {45};
44 -> {53};
45 -> {46};
46 -> {47};
47 -> {49};
48 -> {57};
47 -> {48};
48 -> {44 49};
49 -> {50};
50 -> {51};
51 -> {52};
52 -> {48 53};
52 -> {44};
53 -> {54};
54 -> {55};
55 -> {56};
56 -> {48};
54 -> {56};
55 -> {64};
56 -> {57};
57 -> {58};
58 -> {59};
59 -> {60};
59 -> {55 60};
60 -> {61};
61 -> {36};
subgraph cluster_10 {
color=red
62 [label="Enter function test_5" style="filled" fillcolor=red];
subgraph cluster_11 {
color=blue
64 [label="Enter when"];
subgraph cluster_12 {
color=blue
66 [label="Enter when branch condition "];
67 [label="Access variable R|<local>/b|"];
68 [label="Exit when branch condition"];
}
subgraph cluster_13 {
color=blue
82 [label="Enter when branch condition else"];
83 [label="Exit when branch condition"];
}
84 [label="Enter when branch result"];
subgraph cluster_14 {
color=blue
85 [label="Enter block"];
86 [label="Access variable R|<local>/x|"];
87 [label="Access variable <Unresolved name: length>#"];
88 [label="Exit block"];
}
89 [label="Exit when branch result"];
69 [label="Enter when branch result"];
subgraph cluster_15 {
color=blue
70 [label="Enter block"];
71 [label="Access variable R|<local>/x|"];
72 [label="Type operator: (R|<local>/x| is R|kotlin/String|)"];
73 [label="Function call: R|kotlin/require|(...)"];
subgraph cluster_16 {
color=blue
74 [label="Enter contract"];
75 [label="Access variable R|<local>/x|"];
76 [label="Type operator: (R|<local>/x| is R|kotlin/String|)"];
77 [label="Exit contract"];
}
78 [label="Access variable R|<local>/x|"];
79 [label="Access variable R|kotlin/String.length|"];
80 [label="Exit block"];
}
81 [label="Exit when branch result"];
65 [label="Exit when"];
}
90 [label="Access variable R|<local>/x|"];
91 [label="Access variable <Unresolved name: length>#"];
63 [label="Exit function test_5" style="filled" fillcolor=red];
}
62 -> {64};
64 -> {66};
65 -> {90};
61 -> {62};
62 -> {63};
63 -> {55};
64 -> {65};
65 -> {66};
66 -> {67};
67 -> {68};
68 -> {69 82};
69 -> {70};
70 -> {71};
71 -> {72};
68 -> {69};
69 -> {42};
subgraph cluster_14 {
color=red
70 [label="Enter function test_5" style="filled" fillcolor=red];
subgraph cluster_15 {
color=blue
72 [label="Enter block"];
subgraph cluster_16 {
color=blue
73 [label="Enter when"];
subgraph cluster_17 {
color=blue
75 [label="Enter when branch condition "];
76 [label="Access variable R|<local>/b|"];
77 [label="Exit when branch condition"];
}
subgraph cluster_18 {
color=blue
91 [label="Enter when branch condition else"];
92 [label="Exit when branch condition"];
}
93 [label="Enter when branch result"];
subgraph cluster_19 {
color=blue
94 [label="Enter block"];
95 [label="Access variable R|<local>/x|"];
96 [label="Access variable <Unresolved name: length>#"];
97 [label="Exit block"];
}
98 [label="Exit when branch result"];
78 [label="Enter when branch result"];
subgraph cluster_20 {
color=blue
79 [label="Enter block"];
80 [label="Access variable R|<local>/x|"];
81 [label="Type operator: (R|<local>/x| is R|kotlin/String|)"];
82 [label="Function call: R|kotlin/require|(...)"];
subgraph cluster_21 {
color=blue
83 [label="Enter contract"];
84 [label="Access variable R|<local>/x|"];
85 [label="Type operator: (R|<local>/x| is R|kotlin/String|)"];
86 [label="Exit contract"];
}
87 [label="Access variable R|<local>/x|"];
88 [label="Access variable R|kotlin/String.length|"];
89 [label="Exit block"];
}
90 [label="Exit when branch result"];
74 [label="Exit when"];
}
99 [label="Access variable R|<local>/x|"];
100 [label="Access variable <Unresolved name: length>#"];
101 [label="Exit block"];
}
71 [label="Exit function test_5" style="filled" fillcolor=red];
}
70 -> {72};
72 -> {73};
73 -> {74};
74 -> {75};
73 -> {75};
74 -> {99};
75 -> {76};
76 -> {77};
77 -> {78};
77 -> {78 91};
78 -> {79};
79 -> {80};
80 -> {81};
81 -> {65};
81 -> {82};
82 -> {83};
83 -> {84};
84 -> {85};
@@ -234,90 +259,95 @@ digraph conditionalEffects_kt {
86 -> {87};
87 -> {88};
88 -> {89};
89 -> {65};
90 -> {91};
91 -> {63};
subgraph cluster_17 {
color=red
92 [label="Enter function test_6" style="filled" fillcolor=red];
subgraph cluster_18 {
color=blue
94 [label="Enter when"];
subgraph cluster_19 {
color=blue
96 [label="Enter when branch condition "];
97 [label="Access variable R|<local>/b|"];
98 [label="Exit when branch condition"];
}
subgraph cluster_20 {
color=blue
112 [label="Enter when branch condition else"];
113 [label="Exit when branch condition"];
}
114 [label="Enter when branch result"];
subgraph cluster_21 {
color=blue
115 [label="Enter block"];
116 [label="Access variable R|<local>/x|"];
117 [label="Type operator: (R|<local>/x| is R|kotlin/String|)"];
118 [label="Function call: R|kotlin/require|(...)"];
subgraph cluster_22 {
color=blue
119 [label="Enter contract"];
120 [label="Access variable R|<local>/x|"];
121 [label="Type operator: (R|<local>/x| is R|kotlin/String|)"];
122 [label="Exit contract"];
}
123 [label="Access variable R|<local>/x|"];
124 [label="Access variable R|kotlin/String.length|"];
125 [label="Exit block"];
}
126 [label="Exit when branch result"];
99 [label="Enter when branch result"];
subgraph cluster_23 {
color=blue
100 [label="Enter block"];
101 [label="Access variable R|<local>/x|"];
102 [label="Type operator: (R|<local>/x| is R|kotlin/String|)"];
103 [label="Function call: R|kotlin/require|(...)"];
subgraph cluster_24 {
color=blue
104 [label="Enter contract"];
105 [label="Access variable R|<local>/x|"];
106 [label="Type operator: (R|<local>/x| is R|kotlin/String|)"];
107 [label="Exit contract"];
}
108 [label="Access variable R|<local>/x|"];
109 [label="Access variable R|kotlin/String.length|"];
110 [label="Exit block"];
}
111 [label="Exit when branch result"];
95 [label="Exit when"];
}
127 [label="Access variable R|<local>/x|"];
128 [label="Access variable R|kotlin/String.length|"];
93 [label="Exit function test_6" style="filled" fillcolor=red];
}
92 -> {94};
94 -> {96};
95 -> {127};
89 -> {90};
90 -> {74};
91 -> {92};
92 -> {93};
93 -> {94};
94 -> {95};
95 -> {96};
96 -> {97};
97 -> {98};
98 -> {99 112};
98 -> {74};
99 -> {100};
100 -> {101};
101 -> {102};
102 -> {103};
103 -> {104};
101 -> {71};
subgraph cluster_22 {
color=red
102 [label="Enter function test_6" style="filled" fillcolor=red];
subgraph cluster_23 {
color=blue
104 [label="Enter block"];
subgraph cluster_24 {
color=blue
105 [label="Enter when"];
subgraph cluster_25 {
color=blue
107 [label="Enter when branch condition "];
108 [label="Access variable R|<local>/b|"];
109 [label="Exit when branch condition"];
}
subgraph cluster_26 {
color=blue
123 [label="Enter when branch condition else"];
124 [label="Exit when branch condition"];
}
125 [label="Enter when branch result"];
subgraph cluster_27 {
color=blue
126 [label="Enter block"];
127 [label="Access variable R|<local>/x|"];
128 [label="Type operator: (R|<local>/x| is R|kotlin/String|)"];
129 [label="Function call: R|kotlin/require|(...)"];
subgraph cluster_28 {
color=blue
130 [label="Enter contract"];
131 [label="Access variable R|<local>/x|"];
132 [label="Type operator: (R|<local>/x| is R|kotlin/String|)"];
133 [label="Exit contract"];
}
134 [label="Access variable R|<local>/x|"];
135 [label="Access variable R|kotlin/String.length|"];
136 [label="Exit block"];
}
137 [label="Exit when branch result"];
110 [label="Enter when branch result"];
subgraph cluster_29 {
color=blue
111 [label="Enter block"];
112 [label="Access variable R|<local>/x|"];
113 [label="Type operator: (R|<local>/x| is R|kotlin/String|)"];
114 [label="Function call: R|kotlin/require|(...)"];
subgraph cluster_30 {
color=blue
115 [label="Enter contract"];
116 [label="Access variable R|<local>/x|"];
117 [label="Type operator: (R|<local>/x| is R|kotlin/String|)"];
118 [label="Exit contract"];
}
119 [label="Access variable R|<local>/x|"];
120 [label="Access variable R|kotlin/String.length|"];
121 [label="Exit block"];
}
122 [label="Exit when branch result"];
106 [label="Exit when"];
}
138 [label="Access variable R|<local>/x|"];
139 [label="Access variable R|kotlin/String.length|"];
140 [label="Exit block"];
}
103 [label="Exit function test_6" style="filled" fillcolor=red];
}
102 -> {104};
104 -> {105};
105 -> {106};
106 -> {107};
105 -> {107};
106 -> {138};
107 -> {108};
108 -> {109};
109 -> {110};
109 -> {110 123};
110 -> {111};
111 -> {95};
111 -> {112};
112 -> {113};
113 -> {114};
114 -> {115};
@@ -328,12 +358,24 @@ digraph conditionalEffects_kt {
119 -> {120};
120 -> {121};
121 -> {122};
122 -> {123};
122 -> {106};
123 -> {124};
124 -> {125};
125 -> {126};
126 -> {95};
126 -> {127};
127 -> {128};
128 -> {93};
128 -> {129};
129 -> {130};
130 -> {131};
131 -> {132};
132 -> {133};
133 -> {134};
134 -> {135};
135 -> {136};
136 -> {137};
137 -> {106};
138 -> {139};
139 -> {140};
140 -> {103};
}
compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/good/callsInPlace/atLeastOnce.dot
Vendored
+97 -55
View File
@@ -6,83 +6,125 @@ digraph atLeastOnce_kt {
subgraph cluster_0 {
color=red
0 [label="Enter function inlineRun" style="filled" fillcolor=red];
2 [label="Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
subgraph cluster_1 {
color=blue
2 [label="Enter block"];
3 [label="Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
4 [label="Exit block"];
}
1 [label="Exit function inlineRun" style="filled" fillcolor=red];
}
0 -> {2};
2 -> {1};
subgraph cluster_1 {
color=red
3 [label="Enter function myRun" style="filled" fillcolor=red];
5 [label="Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
4 [label="Exit function myRun" style="filled" fillcolor=red];
}
3 -> {5};
5 -> {4};
2 -> {3};
3 -> {4};
4 -> {1};
subgraph cluster_2 {
color=red
6 [label="Enter function test_1" style="filled" fillcolor=red];
8 [label="Variable declaration: lval x: R|kotlin/Int|"];
9 [label="Postponed enter to lambda"];
5 [label="Enter function myRun" style="filled" fillcolor=red];
subgraph cluster_3 {
color=blue
14 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
16 [label="Const: Int(1)"];
17 [label="Assignment: R|<local>/x|"];
15 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
7 [label="Enter block"];
8 [label="Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
9 [label="Exit block"];
}
10 [label="Postponed exit from lambda"];
11 [label="Function call: R|/inlineRun|(...)"];
12 [label="Access variable R|<local>/x|"];
13 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()"];
7 [label="Exit function test_1" style="filled" fillcolor=red];
6 [label="Exit function myRun" style="filled" fillcolor=red];
}
6 -> {8};
5 -> {7};
7 -> {8};
8 -> {9};
9 -> {14};
9 -> {10} [color=red];
10 -> {11};
11 -> {12};
12 -> {13};
13 -> {7};
14 -> {16};
15 -> {10} [color=green];
15 -> {14} [color=green style=dashed];
16 -> {17};
17 -> {15};
9 -> {6};
subgraph cluster_4 {
color=red
18 [label="Enter function test_2" style="filled" fillcolor=red];
20 [label="Variable declaration: lval x: R|kotlin/Int|"];
21 [label="Postponed enter to lambda"];
10 [label="Enter function test_1" style="filled" fillcolor=red];
subgraph cluster_5 {
color=blue
26 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
28 [label="Const: Int(1)"];
29 [label="Assignment: R|<local>/x|"];
27 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
12 [label="Enter block"];
13 [label="Variable declaration: lval x: R|kotlin/Int|"];
14 [label="Postponed enter to lambda"];
subgraph cluster_6 {
color=blue
20 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_7 {
color=blue
22 [label="Enter block"];
23 [label="Const: Int(1)"];
24 [label="Assignment: R|<local>/x|"];
25 [label="Exit block"];
}
21 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
15 [label="Postponed exit from lambda"];
16 [label="Function call: R|/inlineRun|(...)"];
17 [label="Access variable R|<local>/x|"];
18 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()"];
19 [label="Exit block"];
}
22 [label="Postponed exit from lambda"];
23 [label="Function call: R|/myRun|(...)"];
24 [label="Access variable R|<local>/x|"];
25 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()"];
19 [label="Exit function test_2" style="filled" fillcolor=red];
11 [label="Exit function test_1" style="filled" fillcolor=red];
}
18 -> {20};
20 -> {21};
21 -> {26};
21 -> {22} [color=red];
10 -> {12};
12 -> {13};
13 -> {14};
14 -> {20};
14 -> {15} [color=red];
15 -> {16};
16 -> {17};
17 -> {18};
18 -> {19};
19 -> {11};
20 -> {22};
21 -> {15} [color=green];
21 -> {20} [color=green style=dashed];
22 -> {23};
23 -> {24};
24 -> {25};
25 -> {19};
25 -> {21};
subgraph cluster_8 {
color=red
26 [label="Enter function test_2" style="filled" fillcolor=red];
subgraph cluster_9 {
color=blue
28 [label="Enter block"];
29 [label="Variable declaration: lval x: R|kotlin/Int|"];
30 [label="Postponed enter to lambda"];
subgraph cluster_10 {
color=blue
36 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_11 {
color=blue
38 [label="Enter block"];
39 [label="Const: Int(1)"];
40 [label="Assignment: R|<local>/x|"];
41 [label="Exit block"];
}
37 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
31 [label="Postponed exit from lambda"];
32 [label="Function call: R|/myRun|(...)"];
33 [label="Access variable R|<local>/x|"];
34 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()"];
35 [label="Exit block"];
}
27 [label="Exit function test_2" style="filled" fillcolor=red];
}
26 -> {28};
27 -> {22} [color=green];
27 -> {26} [color=green style=dashed];
28 -> {29};
29 -> {27};
29 -> {30};
30 -> {36};
30 -> {31} [color=red];
31 -> {32};
32 -> {33};
33 -> {34};
34 -> {35};
35 -> {27};
36 -> {38};
37 -> {31} [color=green];
37 -> {36} [color=green style=dashed];
38 -> {39};
39 -> {40};
40 -> {41};
41 -> {37};
}
compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/good/callsInPlace/atMostOnce.dot
Vendored
+96 -54
View File
@@ -6,81 +6,123 @@ digraph atMostOnce_kt {
subgraph cluster_0 {
color=red
0 [label="Enter function inlineRun" style="filled" fillcolor=red];
2 [label="Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
subgraph cluster_1 {
color=blue
2 [label="Enter block"];
3 [label="Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
4 [label="Exit block"];
}
1 [label="Exit function inlineRun" style="filled" fillcolor=red];
}
0 -> {2};
2 -> {1};
subgraph cluster_1 {
color=red
3 [label="Enter function myRun" style="filled" fillcolor=red];
5 [label="Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
4 [label="Exit function myRun" style="filled" fillcolor=red];
}
3 -> {5};
5 -> {4};
2 -> {3};
3 -> {4};
4 -> {1};
subgraph cluster_2 {
color=red
6 [label="Enter function test_1" style="filled" fillcolor=red];
8 [label="Variable declaration: lval x: R|kotlin/Int|"];
9 [label="Postponed enter to lambda"];
5 [label="Enter function myRun" style="filled" fillcolor=red];
subgraph cluster_3 {
color=blue
14 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
16 [label="Const: Int(1)"];
17 [label="Assignment: R|<local>/x|"];
15 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
7 [label="Enter block"];
8 [label="Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
9 [label="Exit block"];
}
10 [label="Postponed exit from lambda"];
11 [label="Function call: R|/inlineRun|(...)"];
12 [label="Access variable R|<local>/x|"];
13 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()"];
7 [label="Exit function test_1" style="filled" fillcolor=red];
6 [label="Exit function myRun" style="filled" fillcolor=red];
}
6 -> {8};
5 -> {7};
7 -> {8};
8 -> {9};
9 -> {14};
9 -> {10} [color=red];
10 -> {11};
11 -> {12};
12 -> {13};
13 -> {7};
14 -> {15 16};
15 -> {10} [color=green];
16 -> {17};
17 -> {15};
9 -> {6};
subgraph cluster_4 {
color=red
18 [label="Enter function test_2" style="filled" fillcolor=red];
20 [label="Variable declaration: lval x: R|kotlin/Int|"];
21 [label="Postponed enter to lambda"];
10 [label="Enter function test_1" style="filled" fillcolor=red];
subgraph cluster_5 {
color=blue
26 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
28 [label="Const: Int(1)"];
29 [label="Assignment: R|<local>/x|"];
27 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
12 [label="Enter block"];
13 [label="Variable declaration: lval x: R|kotlin/Int|"];
14 [label="Postponed enter to lambda"];
subgraph cluster_6 {
color=blue
20 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_7 {
color=blue
22 [label="Enter block"];
23 [label="Const: Int(1)"];
24 [label="Assignment: R|<local>/x|"];
25 [label="Exit block"];
}
21 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
15 [label="Postponed exit from lambda"];
16 [label="Function call: R|/inlineRun|(...)"];
17 [label="Access variable R|<local>/x|"];
18 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()"];
19 [label="Exit block"];
}
22 [label="Postponed exit from lambda"];
23 [label="Function call: R|/myRun|(...)"];
24 [label="Access variable R|<local>/x|"];
25 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()"];
19 [label="Exit function test_2" style="filled" fillcolor=red];
11 [label="Exit function test_1" style="filled" fillcolor=red];
}
18 -> {20};
20 -> {21};
21 -> {26};
21 -> {22} [color=red];
10 -> {12};
12 -> {13};
13 -> {14};
14 -> {20};
14 -> {15} [color=red];
15 -> {16};
16 -> {17};
17 -> {18};
18 -> {19};
19 -> {11};
20 -> {21 22};
21 -> {15} [color=green];
22 -> {23};
23 -> {24};
24 -> {25};
25 -> {19};
26 -> {27 28};
27 -> {22} [color=green];
25 -> {21};
subgraph cluster_8 {
color=red
26 [label="Enter function test_2" style="filled" fillcolor=red];
subgraph cluster_9 {
color=blue
28 [label="Enter block"];
29 [label="Variable declaration: lval x: R|kotlin/Int|"];
30 [label="Postponed enter to lambda"];
subgraph cluster_10 {
color=blue
36 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_11 {
color=blue
38 [label="Enter block"];
39 [label="Const: Int(1)"];
40 [label="Assignment: R|<local>/x|"];
41 [label="Exit block"];
}
37 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
31 [label="Postponed exit from lambda"];
32 [label="Function call: R|/myRun|(...)"];
33 [label="Access variable R|<local>/x|"];
34 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()"];
35 [label="Exit block"];
}
27 [label="Exit function test_2" style="filled" fillcolor=red];
}
26 -> {28};
28 -> {29};
29 -> {27};
29 -> {30};
30 -> {36};
30 -> {31} [color=red];
31 -> {32};
32 -> {33};
33 -> {34};
34 -> {35};
35 -> {27};
36 -> {37 38};
37 -> {31} [color=green];
38 -> {39};
39 -> {40};
40 -> {41};
41 -> {37};
}
compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/good/callsInPlace/exactlyOnce.dot
Vendored
+105 -63
View File
@@ -6,87 +6,129 @@ digraph exactlyOnce_kt {
subgraph cluster_0 {
color=red
0 [label="Enter function inlineRun" style="filled" fillcolor=red];
2 [label="Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
subgraph cluster_1 {
color=blue
2 [label="Enter block"];
3 [label="Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
4 [label="Exit block"];
}
1 [label="Exit function inlineRun" style="filled" fillcolor=red];
}
0 -> {2};
2 -> {1};
subgraph cluster_1 {
color=red
3 [label="Enter function myRun" style="filled" fillcolor=red];
5 [label="Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
4 [label="Exit function myRun" style="filled" fillcolor=red];
}
3 -> {5};
5 -> {4};
2 -> {3};
3 -> {4};
4 -> {1};
subgraph cluster_2 {
color=red
6 [label="Enter function test_1" style="filled" fillcolor=red];
8 [label="Variable declaration: lval x: R|kotlin/Int|"];
9 [label="Postponed enter to lambda"];
5 [label="Enter function myRun" style="filled" fillcolor=red];
subgraph cluster_3 {
color=blue
15 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
17 [label="Const: Int(1)"];
18 [label="Assignment: R|<local>/x|"];
16 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
7 [label="Enter block"];
8 [label="Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
9 [label="Exit block"];
}
12 [label="Call arguments union" style="filled" fillcolor=yellow];
10 [label="Postponed exit from lambda"];
11 [label="Function call: R|/inlineRun|(...)"];
13 [label="Access variable R|<local>/x|"];
14 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()"];
7 [label="Exit function test_1" style="filled" fillcolor=red];
6 [label="Exit function myRun" style="filled" fillcolor=red];
}
6 -> {8};
5 -> {7};
7 -> {8};
8 -> {9};
9 -> {15};
9 -> {10} [color=red];
10 -> {11} [color=green];
11 -> {13};
12 -> {11} [color=red];
13 -> {14};
14 -> {7};
15 -> {17};
16 -> {10} [color=green];
16 -> {12} [color=red];
17 -> {18};
18 -> {16};
9 -> {6};
subgraph cluster_4 {
color=red
19 [label="Enter function test_2" style="filled" fillcolor=red];
21 [label="Variable declaration: lval x: R|kotlin/Int|"];
22 [label="Postponed enter to lambda"];
10 [label="Enter function test_1" style="filled" fillcolor=red];
subgraph cluster_5 {
color=blue
28 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
30 [label="Const: Int(1)"];
31 [label="Assignment: R|<local>/x|"];
29 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
12 [label="Enter block"];
13 [label="Variable declaration: lval x: R|kotlin/Int|"];
14 [label="Postponed enter to lambda"];
subgraph cluster_6 {
color=blue
21 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_7 {
color=blue
23 [label="Enter block"];
24 [label="Const: Int(1)"];
25 [label="Assignment: R|<local>/x|"];
26 [label="Exit block"];
}
22 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
17 [label="Call arguments union" style="filled" fillcolor=yellow];
15 [label="Postponed exit from lambda"];
16 [label="Function call: R|/inlineRun|(...)"];
18 [label="Access variable R|<local>/x|"];
19 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()"];
20 [label="Exit block"];
}
25 [label="Call arguments union" style="filled" fillcolor=yellow];
23 [label="Postponed exit from lambda"];
24 [label="Function call: R|/myRun|(...)"];
26 [label="Access variable R|<local>/x|"];
27 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()"];
20 [label="Exit function test_2" style="filled" fillcolor=red];
11 [label="Exit function test_1" style="filled" fillcolor=red];
}
19 -> {21};
21 -> {22};
22 -> {28};
22 -> {23} [color=red];
23 -> {24} [color=green];
24 -> {26};
25 -> {24} [color=red];
26 -> {27};
27 -> {20};
28 -> {30};
29 -> {23} [color=green];
29 -> {25} [color=red];
10 -> {12};
12 -> {13};
13 -> {14};
14 -> {21};
14 -> {15} [color=red];
15 -> {16} [color=green];
16 -> {18};
17 -> {16} [color=red];
18 -> {19};
19 -> {20};
20 -> {11};
21 -> {23};
22 -> {15} [color=green];
22 -> {17} [color=red];
23 -> {24};
24 -> {25};
25 -> {26};
26 -> {22};
subgraph cluster_8 {
color=red
27 [label="Enter function test_2" style="filled" fillcolor=red];
subgraph cluster_9 {
color=blue
29 [label="Enter block"];
30 [label="Variable declaration: lval x: R|kotlin/Int|"];
31 [label="Postponed enter to lambda"];
subgraph cluster_10 {
color=blue
38 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_11 {
color=blue
40 [label="Enter block"];
41 [label="Const: Int(1)"];
42 [label="Assignment: R|<local>/x|"];
43 [label="Exit block"];
}
39 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
34 [label="Call arguments union" style="filled" fillcolor=yellow];
32 [label="Postponed exit from lambda"];
33 [label="Function call: R|/myRun|(...)"];
35 [label="Access variable R|<local>/x|"];
36 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()"];
37 [label="Exit block"];
}
28 [label="Exit function test_2" style="filled" fillcolor=red];
}
27 -> {29};
29 -> {30};
30 -> {31};
31 -> {29};
31 -> {38};
31 -> {32} [color=red];
32 -> {33} [color=green];
33 -> {35};
34 -> {33} [color=red];
35 -> {36};
36 -> {37};
37 -> {28};
38 -> {40};
39 -> {32} [color=green];
39 -> {34} [color=red];
40 -> {41};
41 -> {42};
42 -> {43};
43 -> {39};
}
compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/good/callsInPlace/unknown.dot
Vendored
+98 -56
View File
@@ -6,83 +6,125 @@ digraph unknown_kt {
subgraph cluster_0 {
color=red
0 [label="Enter function inlineRun" style="filled" fillcolor=red];
2 [label="Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
subgraph cluster_1 {
color=blue
2 [label="Enter block"];
3 [label="Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
4 [label="Exit block"];
}
1 [label="Exit function inlineRun" style="filled" fillcolor=red];
}
0 -> {2};
2 -> {1};
subgraph cluster_1 {
color=red
3 [label="Enter function myRun" style="filled" fillcolor=red];
5 [label="Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
4 [label="Exit function myRun" style="filled" fillcolor=red];
}
3 -> {5};
5 -> {4};
2 -> {3};
3 -> {4};
4 -> {1};
subgraph cluster_2 {
color=red
6 [label="Enter function test_1" style="filled" fillcolor=red];
8 [label="Variable declaration: lval x: R|kotlin/Int|"];
9 [label="Postponed enter to lambda"];
5 [label="Enter function myRun" style="filled" fillcolor=red];
subgraph cluster_3 {
color=blue
14 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
16 [label="Const: Int(1)"];
17 [label="Assignment: R|<local>/x|"];
15 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
7 [label="Enter block"];
8 [label="Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
9 [label="Exit block"];
}
10 [label="Postponed exit from lambda"];
11 [label="Function call: R|/inlineRun|(...)"];
12 [label="Access variable R|<local>/x|"];
13 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()"];
7 [label="Exit function test_1" style="filled" fillcolor=red];
6 [label="Exit function myRun" style="filled" fillcolor=red];
}
6 -> {8};
5 -> {7};
7 -> {8};
8 -> {9};
9 -> {14};
9 -> {10} [color=red];
10 -> {11};
11 -> {12};
12 -> {13};
13 -> {7};
14 -> {15 16};
15 -> {10} [color=green];
15 -> {14} [color=green style=dashed];
16 -> {17};
17 -> {15};
9 -> {6};
subgraph cluster_4 {
color=red
18 [label="Enter function test_2" style="filled" fillcolor=red];
20 [label="Variable declaration: lval x: R|kotlin/Int|"];
21 [label="Postponed enter to lambda"];
10 [label="Enter function test_1" style="filled" fillcolor=red];
subgraph cluster_5 {
color=blue
26 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
28 [label="Const: Int(1)"];
29 [label="Assignment: R|<local>/x|"];
27 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
12 [label="Enter block"];
13 [label="Variable declaration: lval x: R|kotlin/Int|"];
14 [label="Postponed enter to lambda"];
subgraph cluster_6 {
color=blue
20 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_7 {
color=blue
22 [label="Enter block"];
23 [label="Const: Int(1)"];
24 [label="Assignment: R|<local>/x|"];
25 [label="Exit block"];
}
21 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
15 [label="Postponed exit from lambda"];
16 [label="Function call: R|/inlineRun|(...)"];
17 [label="Access variable R|<local>/x|"];
18 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()"];
19 [label="Exit block"];
}
22 [label="Postponed exit from lambda"];
23 [label="Function call: R|/myRun|(...)"];
24 [label="Access variable R|<local>/x|"];
25 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()"];
19 [label="Exit function test_2" style="filled" fillcolor=red];
11 [label="Exit function test_1" style="filled" fillcolor=red];
}
18 -> {20};
20 -> {21};
21 -> {26};
21 -> {22} [color=red];
10 -> {12};
12 -> {13};
13 -> {14};
14 -> {20};
14 -> {15} [color=red];
15 -> {16};
16 -> {17};
17 -> {18};
18 -> {19};
19 -> {11};
20 -> {21 22};
21 -> {15} [color=green];
21 -> {20} [color=green style=dashed];
22 -> {23};
23 -> {24};
24 -> {25};
25 -> {19};
26 -> {27 28};
27 -> {22} [color=green];
27 -> {26} [color=green style=dashed];
25 -> {21};
subgraph cluster_8 {
color=red
26 [label="Enter function test_2" style="filled" fillcolor=red];
subgraph cluster_9 {
color=blue
28 [label="Enter block"];
29 [label="Variable declaration: lval x: R|kotlin/Int|"];
30 [label="Postponed enter to lambda"];
subgraph cluster_10 {
color=blue
36 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_11 {
color=blue
38 [label="Enter block"];
39 [label="Const: Int(1)"];
40 [label="Assignment: R|<local>/x|"];
41 [label="Exit block"];
}
37 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
31 [label="Postponed exit from lambda"];
32 [label="Function call: R|/myRun|(...)"];
33 [label="Access variable R|<local>/x|"];
34 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()"];
35 [label="Exit block"];
}
27 [label="Exit function test_2" style="filled" fillcolor=red];
}
26 -> {28};
28 -> {29};
29 -> {27};
29 -> {30};
30 -> {36};
30 -> {31} [color=red];
31 -> {32};
32 -> {33};
33 -> {34};
34 -> {35};
35 -> {27};
36 -> {37 38};
37 -> {31} [color=green];
37 -> {36} [color=green style=dashed];
38 -> {39};
39 -> {40};
40 -> {41};
41 -> {37};
}
compiler/fir/analysis-tests/testData/resolveWithStdlib/delegates/delegateWithAnonymousObject.dot
Vendored
+178 -129
View File
@@ -14,176 +14,225 @@ digraph delegateWithAnonymousObject_kt {
subgraph cluster_1 {
color=red
3 [label="Enter class DelegateProvider" style="filled" fillcolor=red];
4 [label="Exit class DelegateProvider" style="filled" fillcolor=red];
4 [label="Enter class DelegateProvider" style="filled" fillcolor=red];
3 [label="Exit class DelegateProvider" style="filled" fillcolor=red];
}
3 -> {4} [color=green];
4 -> {3} [color=green];
subgraph cluster_2 {
color=red
5 [label="Enter function delegate" style="filled" fillcolor=red];
7 [label="Const: Null(null)"];
8 [label="Check not null: Null(null)!!"];
9 [label="Jump: ^delegate Null(null)!!"];
10 [label="Stub" style="filled" fillcolor=gray];
subgraph cluster_3 {
color=blue
7 [label="Enter block"];
8 [label="Const: Null(null)"];
9 [label="Check not null: Null(null)!!"];
10 [label="Jump: ^delegate Null(null)!!"];
11 [label="Stub" style="filled" fillcolor=gray];
12 [label="Exit block" style="filled" fillcolor=gray];
}
6 [label="Exit function delegate" style="filled" fillcolor=red];
}
5 -> {7};
7 -> {8};
8 -> {9};
9 -> {6};
9 -> {10} [style=dotted];
10 -> {6} [style=dotted];
subgraph cluster_3 {
color=red
11 [label="Enter function <init>" style="filled" fillcolor=red];
13 [label="Delegated constructor call: super<R|DelegateProvider<IssueListView>|>()"];
12 [label="Exit function <init>" style="filled" fillcolor=red];
}
11 -> {13};
13 -> {12};
9 -> {10};
10 -> {6};
10 -> {11} [style=dotted];
11 -> {12} [style=dotted];
12 -> {6} [style=dotted];
subgraph cluster_4 {
color=red
14 [label="Enter function updateFrom" style="filled" fillcolor=red];
15 [label="Exit function updateFrom" style="filled" fillcolor=red];
13 [label="Enter function <init>" style="filled" fillcolor=red];
15 [label="Delegated constructor call: super<R|DelegateProvider<IssueListView>|>()"];
14 [label="Exit function <init>" style="filled" fillcolor=red];
}
14 -> {15};
13 -> {15};
15 -> {14};
subgraph cluster_5 {
color=red
16 [label="Enter class IssueListView" style="filled" fillcolor=red];
17 [label="Exit class IssueListView" style="filled" fillcolor=red];
16 [label="Enter function updateFrom" style="filled" fillcolor=red];
subgraph cluster_6 {
color=blue
18 [label="Enter block"];
19 [label="Exit block"];
}
17 [label="Exit function updateFrom" style="filled" fillcolor=red];
}
16 -> {17} [color=green];
subgraph cluster_6 {
color=red
18 [label="Enter function <init>" style="filled" fillcolor=red];
20 [label="Delegated constructor call: super<R|DelegateProvider<IssuesListUserProfile>|>()"];
19 [label="Exit function <init>" style="filled" fillcolor=red];
}
18 -> {20};
20 -> {19};
16 -> {18};
18 -> {19};
19 -> {17};
subgraph cluster_7 {
color=red
24 [label="Enter function <init>" style="filled" fillcolor=red];
26 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
25 [label="Exit function <init>" style="filled" fillcolor=red];
21 [label="Enter class IssueListView" style="filled" fillcolor=red];
20 [label="Exit class IssueListView" style="filled" fillcolor=red];
}
24 -> {26};
26 -> {25};
21 -> {20} [color=green];
subgraph cluster_8 {
color=red
27 [label="Enter function getValue" style="filled" fillcolor=red];
29 [label="Function call: R|/IssueListView.IssueListView|()"];
30 [label="Jump: ^getValue R|/IssueListView.IssueListView|()"];
31 [label="Stub" style="filled" fillcolor=gray];
28 [label="Exit function getValue" style="filled" fillcolor=red];
22 [label="Enter function <init>" style="filled" fillcolor=red];
24 [label="Delegated constructor call: super<R|DelegateProvider<IssuesListUserProfile>|>()"];
23 [label="Exit function <init>" style="filled" fillcolor=red];
}
27 -> {29};
29 -> {30};
30 -> {28};
30 -> {31} [style=dotted];
31 -> {28} [style=dotted];
22 -> {24};
24 -> {23};
subgraph cluster_9 {
color=red
32 [label="Enter function setValue" style="filled" fillcolor=red];
34 [label="Function call: R|/IssueListView.IssueListView|()"];
35 [label="Access variable R|<local>/value|"];
36 [label="Function call: R|/IssueListView.IssueListView|().R|/IssueListView.updateFrom|(...)"];
37 [label="Jump: ^setValue R|/IssueListView.IssueListView|().R|/IssueListView.updateFrom|(R|<local>/value|)"];
38 [label="Stub" style="filled" fillcolor=gray];
33 [label="Exit function setValue" style="filled" fillcolor=red];
32 [label="Enter function <init>" style="filled" fillcolor=red];
34 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
33 [label="Exit function <init>" style="filled" fillcolor=red];
}
32 -> {34};
34 -> {35};
35 -> {36};
36 -> {37};
37 -> {33};
37 -> {38} [style=dotted];
38 -> {33} [style=dotted];
34 -> {33};
subgraph cluster_10 {
color=red
39 [label="Enter class <anonymous>" style="filled" fillcolor=red];
40 [label="Exit class <anonymous>" style="filled" fillcolor=red];
}
39 -> {40} [color=green];
subgraph cluster_11 {
color=red
64 [label="Enter class IssuesListUserProfile" style="filled" fillcolor=red];
subgraph cluster_12 {
35 [label="Enter function getValue" style="filled" fillcolor=red];
subgraph cluster_11 {
color=blue
48 [label="Enter function setter" style="filled" fillcolor=red];
50 [label="Access variable D|/IssuesListUserProfile.issueListView|"];
51 [label="Access variable this@R|/IssuesListUserProfile|"];
52 [label="Access variable R|<local>/issueListView|"];
53 [label="Function call: this@R|/IssuesListUserProfile|.D|/IssuesListUserProfile.issueListView|.R|FakeOverride<kotlin/properties/ReadWriteProperty.setValue: R|kotlin/Unit|>|(...)"];
49 [label="Exit function setter" style="filled" fillcolor=red];
37 [label="Enter block"];
38 [label="Function call: R|/IssueListView.IssueListView|()"];
39 [label="Jump: ^getValue R|/IssueListView.IssueListView|()"];
40 [label="Stub" style="filled" fillcolor=gray];
41 [label="Exit block" style="filled" fillcolor=gray];
}
36 [label="Exit function getValue" style="filled" fillcolor=red];
}
35 -> {37};
37 -> {38};
38 -> {39};
39 -> {36};
39 -> {40} [style=dotted];
40 -> {41} [style=dotted];
41 -> {36} [style=dotted];
subgraph cluster_12 {
color=red
42 [label="Enter function setValue" style="filled" fillcolor=red];
subgraph cluster_13 {
color=blue
41 [label="Enter function getter" style="filled" fillcolor=red];
43 [label="Access variable D|/IssuesListUserProfile.issueListView|"];
44 [label="Access variable this@R|/IssuesListUserProfile|"];
45 [label="Function call: this@R|/IssuesListUserProfile|.D|/IssuesListUserProfile.issueListView|.R|FakeOverride<kotlin/properties/ReadWriteProperty.getValue: R|IssueListView|>|(...)"];
46 [label="Jump: ^ this@R|/IssuesListUserProfile|.D|/IssuesListUserProfile.issueListView|.R|FakeOverride<kotlin/properties/ReadWriteProperty.getValue: R|IssueListView|>|(this@R|/IssuesListUserProfile|, ::R|/IssuesListUserProfile.issueListView|)"];
47 [label="Stub" style="filled" fillcolor=gray];
42 [label="Exit function getter" style="filled" fillcolor=red];
44 [label="Enter block"];
45 [label="Function call: R|/IssueListView.IssueListView|()"];
46 [label="Access variable R|<local>/value|"];
47 [label="Function call: R|/IssueListView.IssueListView|().R|/IssueListView.updateFrom|(...)"];
48 [label="Jump: ^setValue R|/IssueListView.IssueListView|().R|/IssueListView.updateFrom|(R|<local>/value|)"];
49 [label="Stub" style="filled" fillcolor=gray];
50 [label="Exit block" style="filled" fillcolor=gray];
}
subgraph cluster_14 {
color=blue
54 [label="Enter property" style="filled" fillcolor=red];
56 [label="Postponed enter to lambda"];
57 [label="Postponed exit from lambda"];
58 [label="Function call: this@R|/IssuesListUserProfile|.R|/delegate|<R|IssuesListUserProfile|, R|IssuesListUserProfile|, R|IssueListView|>(...)"];
59 [label="Access variable this@R|/IssuesListUserProfile|"];
60 [label="Function call: this@R|/IssuesListUserProfile|.R|/delegate|<R|IssuesListUserProfile|, R|IssuesListUserProfile|, R|IssueListView|>(...).<Unresolved name: provideDelegate>#(...)"];
61 [label="Postponed enter to lambda"];
subgraph cluster_15 {
color=blue
21 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
23 [label="Exit anonymous object"];
22 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
62 [label="Postponed exit from lambda"];
63 [label="Function call: this@R|/IssuesListUserProfile|.R|/delegate|<R|IssuesListUserProfile|, R|IssuesListUserProfile|, R|IssueListView|>(...)"];
55 [label="Exit property" style="filled" fillcolor=red];
}
65 [label="Exit class IssuesListUserProfile" style="filled" fillcolor=red];
43 [label="Exit function setValue" style="filled" fillcolor=red];
}
64 -> {54} [color=green];
54 -> {56};
55 -> {65} [color=green];
56 -> {57};
57 -> {58};
58 -> {59};
59 -> {60};
60 -> {61};
61 -> {62};
61 -> {21} [color=red];
62 -> {63};
63 -> {55};
21 -> {23};
21 -> {24 27 32} [color=red];
23 -> {22};
41 -> {43};
43 -> {44};
42 -> {44};
44 -> {45};
45 -> {46};
46 -> {42};
46 -> {47} [style=dotted];
47 -> {42} [style=dotted];
48 -> {50};
50 -> {51};
51 -> {52};
52 -> {53};
53 -> {49};
46 -> {47};
47 -> {48};
48 -> {43};
48 -> {49} [style=dotted];
49 -> {50} [style=dotted];
50 -> {43} [style=dotted];
subgraph cluster_14 {
color=red
51 [label="Enter function getter" style="filled" fillcolor=red];
subgraph cluster_15 {
color=blue
53 [label="Enter block"];
54 [label="Access variable D|/IssuesListUserProfile.issueListView|"];
55 [label="Access variable this@R|/IssuesListUserProfile|"];
56 [label="Function call: this@R|/IssuesListUserProfile|.D|/IssuesListUserProfile.issueListView|.R|FakeOverride<kotlin/properties/ReadWriteProperty.getValue: R|IssueListView|>|(...)"];
57 [label="Jump: ^ this@R|/IssuesListUserProfile|.D|/IssuesListUserProfile.issueListView|.R|FakeOverride<kotlin/properties/ReadWriteProperty.getValue: R|IssueListView|>|(this@R|/IssuesListUserProfile|, ::R|/IssuesListUserProfile.issueListView|)"];
58 [label="Stub" style="filled" fillcolor=gray];
59 [label="Exit block" style="filled" fillcolor=gray];
}
52 [label="Exit function getter" style="filled" fillcolor=red];
}
51 -> {53};
53 -> {54};
54 -> {55};
55 -> {56};
56 -> {57};
57 -> {52};
57 -> {58} [style=dotted];
58 -> {59} [style=dotted];
59 -> {52} [style=dotted];
subgraph cluster_16 {
color=red
60 [label="Enter function setter" style="filled" fillcolor=red];
subgraph cluster_17 {
color=blue
62 [label="Enter block"];
63 [label="Access variable D|/IssuesListUserProfile.issueListView|"];
64 [label="Access variable this@R|/IssuesListUserProfile|"];
65 [label="Access variable R|<local>/issueListView|"];
66 [label="Function call: this@R|/IssuesListUserProfile|.D|/IssuesListUserProfile.issueListView|.R|FakeOverride<kotlin/properties/ReadWriteProperty.setValue: R|kotlin/Unit|>|(...)"];
67 [label="Exit block"];
}
61 [label="Exit function setter" style="filled" fillcolor=red];
}
60 -> {62};
62 -> {63};
63 -> {64};
64 -> {65};
65 -> {66};
66 -> {67};
67 -> {61};
subgraph cluster_18 {
color=red
79 [label="Enter class IssuesListUserProfile" style="filled" fillcolor=red];
subgraph cluster_19 {
color=blue
31 [label="Enter class <anonymous object>" style="filled" fillcolor=red];
30 [label="Exit class <anonymous object>" style="filled" fillcolor=red];
}
subgraph cluster_20 {
color=blue
68 [label="Enter property" style="filled" fillcolor=red];
70 [label="Postponed enter to lambda"];
71 [label="Postponed exit from lambda"];
72 [label="Function call: this@R|/IssuesListUserProfile|.R|/delegate|<R|IssuesListUserProfile|, R|IssuesListUserProfile|, R|IssueListView|>(...)"];
73 [label="Access variable this@R|/IssuesListUserProfile|"];
74 [label="Function call: this@R|/IssuesListUserProfile|.R|/delegate|<R|IssuesListUserProfile|, R|IssuesListUserProfile|, R|IssueListView|>(...).<Unresolved name: provideDelegate>#(...)"];
75 [label="Postponed enter to lambda"];
subgraph cluster_21 {
color=blue
25 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_22 {
color=blue
27 [label="Enter block"];
28 [label="Exit anonymous object"];
29 [label="Exit block"];
}
26 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
76 [label="Postponed exit from lambda"];
77 [label="Function call: this@R|/IssuesListUserProfile|.R|/delegate|<R|IssuesListUserProfile|, R|IssuesListUserProfile|, R|IssueListView|>(...)"];
69 [label="Exit property" style="filled" fillcolor=red];
}
78 [label="Exit class IssuesListUserProfile" style="filled" fillcolor=red];
}
79 -> {68} [color=green];
68 -> {70};
69 -> {78} [color=green];
70 -> {71};
71 -> {72};
72 -> {73};
73 -> {74};
74 -> {75};
75 -> {76 25};
76 -> {77};
77 -> {69};
25 -> {27};
27 -> {28};
27 -> {32 35 42} [color=red];
28 -> {29};
29 -> {26};
31 -> {30} [color=green];
}
compiler/fir/analysis-tests/testData/resolveWithStdlib/smartcasts/tryWithLambdaInside.dot
Vendored
+175 -134
View File
@@ -6,63 +6,85 @@ digraph tryWithLambdaInside_kt {
subgraph cluster_0 {
color=red
0 [label="Enter function notInPlaceFilter" style="filled" fillcolor=red];
2 [label="Access variable this@R|/notInPlaceFilter|"];
3 [label="Jump: ^notInPlaceFilter this@R|/notInPlaceFilter|"];
4 [label="Stub" style="filled" fillcolor=gray];
subgraph cluster_1 {
color=blue
2 [label="Enter block"];
3 [label="Access variable this@R|/notInPlaceFilter|"];
4 [label="Jump: ^notInPlaceFilter this@R|/notInPlaceFilter|"];
5 [label="Stub" style="filled" fillcolor=gray];
6 [label="Exit block" style="filled" fillcolor=gray];
}
1 [label="Exit function notInPlaceFilter" style="filled" fillcolor=red];
}
0 -> {2};
2 -> {3};
3 -> {1};
3 -> {4} [style=dotted];
4 -> {1} [style=dotted];
subgraph cluster_1 {
color=red
5 [label="Enter function foo" style="filled" fillcolor=red];
6 [label="Exit function foo" style="filled" fillcolor=red];
}
5 -> {6};
3 -> {4};
4 -> {1};
4 -> {5} [style=dotted];
5 -> {6} [style=dotted];
6 -> {1} [style=dotted];
subgraph cluster_2 {
color=red
7 [label="Enter function testInPlace" style="filled" fillcolor=red];
7 [label="Enter function foo" style="filled" fillcolor=red];
subgraph cluster_3 {
color=blue
9 [label="Try expression enter"];
subgraph cluster_4 {
color=blue
11 [label="Try main block enter"];
subgraph cluster_5 {
color=blue
13 [label="Enter block"];
14 [label="Access variable R|<local>/list|"];
15 [label="Postponed enter to lambda"];
subgraph cluster_6 {
color=blue
25 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
27 [label="Access variable R|<local>/it|"];
26 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
16 [label="Postponed exit from lambda"];
17 [label="Function call: R|<local>/list|.R|kotlin/collections/filter|<R|kotlin/Boolean|>(...)"];
18 [label="Exit block"];
}
19 [label="Try main block exit"];
}
subgraph cluster_7 {
color=blue
12 [label="Enter finally"];
subgraph cluster_8 {
color=blue
20 [label="Enter block"];
21 [label="Exit block"];
}
22 [label="Exit finally"];
}
10 [label="Try expression exit"];
9 [label="Enter block"];
10 [label="Exit block"];
}
23 [label="Jump: ^testInPlace try {
8 [label="Exit function foo" style="filled" fillcolor=red];
}
7 -> {9};
9 -> {10};
10 -> {8};
subgraph cluster_4 {
color=red
11 [label="Enter function testInPlace" style="filled" fillcolor=red];
subgraph cluster_5 {
color=blue
13 [label="Enter block"];
subgraph cluster_6 {
color=blue
14 [label="Try expression enter"];
subgraph cluster_7 {
color=blue
16 [label="Try main block enter"];
subgraph cluster_8 {
color=blue
18 [label="Enter block"];
19 [label="Access variable R|<local>/list|"];
20 [label="Postponed enter to lambda"];
subgraph cluster_9 {
color=blue
31 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_10 {
color=blue
33 [label="Enter block"];
34 [label="Access variable R|<local>/it|"];
35 [label="Exit block"];
}
32 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
21 [label="Postponed exit from lambda"];
22 [label="Function call: R|<local>/list|.R|kotlin/collections/filter|<R|kotlin/Boolean|>(...)"];
23 [label="Exit block"];
}
24 [label="Try main block exit"];
}
subgraph cluster_11 {
color=blue
17 [label="Enter finally"];
subgraph cluster_12 {
color=blue
25 [label="Enter block"];
26 [label="Exit block"];
}
27 [label="Exit finally"];
}
15 [label="Try expression exit"];
}
28 [label="Jump: ^testInPlace try {
R|<local>/list|.R|kotlin/collections/filter|<R|kotlin/Boolean|>(<L> = filter@fun <anonymous>(it: R|kotlin/Boolean|): R|kotlin/Boolean| <kind=UNKNOWN> {
^ R|<local>/it|
}
@@ -71,72 +93,86 @@ digraph tryWithLambdaInside_kt {
finally {
}
"];
24 [label="Stub" style="filled" fillcolor=gray];
8 [label="Exit function testInPlace" style="filled" fillcolor=red];
}
7 -> {9};
9 -> {11};
10 -> {23};
11 -> {8 12 13};
12 -> {20};
13 -> {14};
14 -> {15};
15 -> {25};
15 -> {16} [color=red];
16 -> {17};
17 -> {18};
18 -> {19};
19 -> {10};
20 -> {21};
21 -> {22};
22 -> {10};
23 -> {8};
23 -> {24} [style=dotted];
24 -> {8} [style=dotted];
25 -> {26 27};
26 -> {16} [color=green];
26 -> {25} [color=green style=dashed];
27 -> {26};
subgraph cluster_9 {
color=red
28 [label="Enter function testNotInPlace" style="filled" fillcolor=red];
subgraph cluster_10 {
color=blue
30 [label="Try expression enter"];
subgraph cluster_11 {
color=blue
32 [label="Try main block enter"];
subgraph cluster_12 {
color=blue
34 [label="Enter block"];
35 [label="Access variable R|<local>/list|"];
36 [label="Postponed enter to lambda"];
subgraph cluster_13 {
color=blue
46 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
48 [label="Access variable R|<local>/it|"];
47 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
37 [label="Postponed exit from lambda"];
38 [label="Function call: R|<local>/list|.R|/notInPlaceFilter|<R|kotlin/Boolean|>(...)"];
39 [label="Exit block"];
}
40 [label="Try main block exit"];
}
subgraph cluster_14 {
color=blue
33 [label="Enter finally"];
subgraph cluster_15 {
color=blue
41 [label="Enter block"];
42 [label="Exit block"];
}
43 [label="Exit finally"];
}
31 [label="Try expression exit"];
29 [label="Stub" style="filled" fillcolor=gray];
30 [label="Exit block" style="filled" fillcolor=gray];
}
44 [label="Jump: ^testNotInPlace try {
12 [label="Exit function testInPlace" style="filled" fillcolor=red];
}
11 -> {13};
13 -> {14};
14 -> {16};
15 -> {28};
16 -> {12 17 18};
17 -> {25};
18 -> {19};
19 -> {20};
20 -> {31};
20 -> {21} [color=red];
21 -> {22};
22 -> {23};
23 -> {24};
24 -> {15};
25 -> {26};
26 -> {27};
27 -> {15};
28 -> {12};
28 -> {29} [style=dotted];
29 -> {30} [style=dotted];
30 -> {12} [style=dotted];
31 -> {32 33};
32 -> {21} [color=green];
32 -> {31} [color=green style=dashed];
33 -> {34};
34 -> {35};
35 -> {32};
subgraph cluster_13 {
color=red
36 [label="Enter function testNotInPlace" style="filled" fillcolor=red];
subgraph cluster_14 {
color=blue
38 [label="Enter block"];
subgraph cluster_15 {
color=blue
39 [label="Try expression enter"];
subgraph cluster_16 {
color=blue
41 [label="Try main block enter"];
subgraph cluster_17 {
color=blue
43 [label="Enter block"];
44 [label="Access variable R|<local>/list|"];
45 [label="Postponed enter to lambda"];
subgraph cluster_18 {
color=blue
56 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_19 {
color=blue
58 [label="Enter block"];
59 [label="Access variable R|<local>/it|"];
60 [label="Exit block"];
}
57 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
46 [label="Postponed exit from lambda"];
47 [label="Function call: R|<local>/list|.R|/notInPlaceFilter|<R|kotlin/Boolean|>(...)"];
48 [label="Exit block"];
}
49 [label="Try main block exit"];
}
subgraph cluster_20 {
color=blue
42 [label="Enter finally"];
subgraph cluster_21 {
color=blue
50 [label="Enter block"];
51 [label="Exit block"];
}
52 [label="Exit finally"];
}
40 [label="Try expression exit"];
}
53 [label="Jump: ^testNotInPlace try {
R|<local>/list|.R|/notInPlaceFilter|<R|kotlin/Boolean|>(<L> = notInPlaceFilter@fun <anonymous>(it: R|kotlin/Boolean|): R|kotlin/Boolean| {
^ R|<local>/it|
}
@@ -145,29 +181,34 @@ finally {
finally {
}
"];
45 [label="Stub" style="filled" fillcolor=gray];
29 [label="Exit function testNotInPlace" style="filled" fillcolor=red];
54 [label="Stub" style="filled" fillcolor=gray];
55 [label="Exit block" style="filled" fillcolor=gray];
}
37 [label="Exit function testNotInPlace" style="filled" fillcolor=red];
}
28 -> {30};
30 -> {32};
31 -> {44};
32 -> {29 33 34};
33 -> {41};
34 -> {35};
35 -> {36};
36 -> {37};
36 -> {46} [color=red];
37 -> {38};
36 -> {38};
38 -> {39};
39 -> {40};
40 -> {31};
41 -> {42};
42 -> {43};
43 -> {31};
44 -> {29};
44 -> {45} [style=dotted];
45 -> {29} [style=dotted];
46 -> {48};
48 -> {47};
39 -> {41};
40 -> {53};
41 -> {37 42 43};
42 -> {50};
43 -> {44};
44 -> {45};
45 -> {46 56};
46 -> {47};
47 -> {48};
48 -> {49};
49 -> {40};
50 -> {51};
51 -> {52};
52 -> {40};
53 -> {37};
53 -> {54} [style=dotted];
54 -> {55} [style=dotted];
55 -> {37} [style=dotted];
56 -> {58};
58 -> {59};
59 -> {60};
60 -> {57};
}