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

Test: FIR CFA: fix the names of some nodes

Browse Source
This commit is contained in:
pyos
2022-12-13 10:21:08 +01:00
committed by Dmitriy Novozhilov
parent fbd0908f0c
commit e86b87fe0b
49 changed files with 331 additions and 341 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/analysis-tests/testData/resolve/cfg/annotatedLocalClass.dot
Vendored
+1 -1
View File
@@ -48,7 +48,7 @@ digraph annotatedLocalClass_kt {
17 [label="Exit when branch result" style="filled" fillcolor=gray]; 17 [label="Exit when branch result" style="filled" fillcolor=gray];
18 [label="Exit when"]; 18 [label="Exit when"];
} }
19 [label="Exit local class foo"]; 19 [label="Local class declaration"];
20 [label="Function call: R|/bar|()" style="filled" fillcolor=yellow]; 20 [label="Function call: R|/bar|()" style="filled" fillcolor=yellow];
21 [label="Exit block"]; 21 [label="Exit block"];
} }
compiler/fir/analysis-tests/testData/resolve/cfg/complex.dot
Vendored
+1 -1
View File
@@ -234,7 +234,7 @@ digraph complex_kt {
} }
85 [label="Exit loop block"]; 85 [label="Exit loop block"];
} }
86 [label="Exit whileloop"]; 86 [label="Exit while loop"];
} }
87 [label="Exit block"]; 87 [label="Exit block"];
} }
compiler/fir/analysis-tests/testData/resolve/cfg/defaultArguments.dot
Vendored
+2 -2
View File
@@ -43,14 +43,14 @@ digraph defaultArguments_kt {
16 [label="Postponed enter to lambda"]; 16 [label="Postponed enter to lambda"];
subgraph cluster_5 { subgraph cluster_5 {
color=blue color=blue
17 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 17 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_6 { subgraph cluster_6 {
color=blue color=blue
18 [label="Enter block"]; 18 [label="Enter block"];
19 [label="Function call: R|/foo|()" style="filled" fillcolor=yellow]; 19 [label="Function call: R|/foo|()" style="filled" fillcolor=yellow];
20 [label="Exit block"]; 20 [label="Exit block"];
} }
21 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 21 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
22 [label="Postponed exit from lambda"]; 22 [label="Postponed exit from lambda"];
23 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 23 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolve/cfg/flowFromInplaceLambda.dot
Vendored
+50 -50
View File
@@ -215,7 +215,7 @@ digraph flowFromInplaceLambda_kt {
70 [label="Postponed enter to lambda"]; 70 [label="Postponed enter to lambda"];
subgraph cluster_22 { subgraph cluster_22 {
color=blue color=blue
71 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 71 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_23 { subgraph cluster_23 {
color=blue color=blue
72 [label="Enter block"]; 72 [label="Enter block"];
@@ -223,7 +223,7 @@ digraph flowFromInplaceLambda_kt {
74 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"]; 74 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"];
75 [label="Exit block"]; 75 [label="Exit block"];
} }
76 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 76 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
77 [label="Postponed exit from lambda"]; 77 [label="Postponed exit from lambda"];
78 [label="Function call: R|/exactlyOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 78 [label="Function call: R|/exactlyOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -261,7 +261,7 @@ digraph flowFromInplaceLambda_kt {
86 [label="Postponed enter to lambda"]; 86 [label="Postponed enter to lambda"];
subgraph cluster_26 { subgraph cluster_26 {
color=blue color=blue
87 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 87 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_27 { subgraph cluster_27 {
color=blue color=blue
88 [label="Enter block"]; 88 [label="Enter block"];
@@ -271,7 +271,7 @@ digraph flowFromInplaceLambda_kt {
92 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"]; 92 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"];
93 [label="Exit block"]; 93 [label="Exit block"];
} }
94 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 94 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
95 [label="Postponed exit from lambda"]; 95 [label="Postponed exit from lambda"];
96 [label="Function call: R|/exactlyOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 96 [label="Function call: R|/exactlyOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -281,7 +281,7 @@ digraph flowFromInplaceLambda_kt {
100 [label="Postponed enter to lambda"]; 100 [label="Postponed enter to lambda"];
subgraph cluster_28 { subgraph cluster_28 {
color=blue color=blue
101 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 101 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_29 { subgraph cluster_29 {
color=blue color=blue
102 [label="Enter block"]; 102 [label="Enter block"];
@@ -294,7 +294,7 @@ digraph flowFromInplaceLambda_kt {
109 [label="Const: Int(1)"]; 109 [label="Const: Int(1)"];
110 [label="Exit block"]; 110 [label="Exit block"];
} }
111 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 111 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
112 [label="Postponed exit from lambda"]; 112 [label="Postponed exit from lambda"];
113 [label="Function call: R|/exactlyOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 113 [label="Function call: R|/exactlyOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -365,7 +365,7 @@ digraph flowFromInplaceLambda_kt {
126 [label="Postponed enter to lambda"]; 126 [label="Postponed enter to lambda"];
subgraph cluster_32 { subgraph cluster_32 {
color=blue color=blue
127 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 127 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_33 { subgraph cluster_33 {
color=blue color=blue
128 [label="Enter block"]; 128 [label="Enter block"];
@@ -375,7 +375,7 @@ digraph flowFromInplaceLambda_kt {
132 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"]; 132 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"];
133 [label="Exit block"]; 133 [label="Exit block"];
} }
134 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 134 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
135 [label="Postponed exit from lambda"]; 135 [label="Postponed exit from lambda"];
136 [label="Function call: R|/atLeastOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 136 [label="Function call: R|/atLeastOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -385,7 +385,7 @@ digraph flowFromInplaceLambda_kt {
140 [label="Postponed enter to lambda"]; 140 [label="Postponed enter to lambda"];
subgraph cluster_34 { subgraph cluster_34 {
color=blue color=blue
141 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 141 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_35 { subgraph cluster_35 {
color=blue color=blue
142 [label="Enter block"]; 142 [label="Enter block"];
@@ -398,7 +398,7 @@ digraph flowFromInplaceLambda_kt {
149 [label="Const: Int(1)"]; 149 [label="Const: Int(1)"];
150 [label="Exit block"]; 150 [label="Exit block"];
} }
151 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 151 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
152 [label="Postponed exit from lambda"]; 152 [label="Postponed exit from lambda"];
153 [label="Function call: R|/atLeastOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 153 [label="Function call: R|/atLeastOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -471,7 +471,7 @@ digraph flowFromInplaceLambda_kt {
166 [label="Postponed enter to lambda"]; 166 [label="Postponed enter to lambda"];
subgraph cluster_38 { subgraph cluster_38 {
color=blue color=blue
167 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 167 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_39 { subgraph cluster_39 {
color=blue color=blue
168 [label="Enter block"]; 168 [label="Enter block"];
@@ -481,7 +481,7 @@ digraph flowFromInplaceLambda_kt {
172 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"]; 172 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"];
173 [label="Exit block"]; 173 [label="Exit block"];
} }
174 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 174 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
175 [label="Postponed exit from lambda"]; 175 [label="Postponed exit from lambda"];
176 [label="Function call: R|/atMostOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 176 [label="Function call: R|/atMostOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -491,7 +491,7 @@ digraph flowFromInplaceLambda_kt {
180 [label="Postponed enter to lambda"]; 180 [label="Postponed enter to lambda"];
subgraph cluster_40 { subgraph cluster_40 {
color=blue color=blue
181 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 181 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_41 { subgraph cluster_41 {
color=blue color=blue
182 [label="Enter block"]; 182 [label="Enter block"];
@@ -503,7 +503,7 @@ digraph flowFromInplaceLambda_kt {
188 [label="Const: Int(1)"]; 188 [label="Const: Int(1)"];
189 [label="Exit block"]; 189 [label="Exit block"];
} }
190 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 190 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
191 [label="Postponed exit from lambda"]; 191 [label="Postponed exit from lambda"];
192 [label="Function call: R|/atMostOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 192 [label="Function call: R|/atMostOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -569,7 +569,7 @@ digraph flowFromInplaceLambda_kt {
204 [label="Postponed enter to lambda"]; 204 [label="Postponed enter to lambda"];
subgraph cluster_44 { subgraph cluster_44 {
color=blue color=blue
205 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 205 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_45 { subgraph cluster_45 {
color=blue color=blue
206 [label="Enter block"]; 206 [label="Enter block"];
@@ -579,7 +579,7 @@ digraph flowFromInplaceLambda_kt {
210 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"]; 210 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"];
211 [label="Exit block"]; 211 [label="Exit block"];
} }
212 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 212 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
213 [label="Postponed exit from lambda"]; 213 [label="Postponed exit from lambda"];
214 [label="Function call: R|/unknown|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 214 [label="Function call: R|/unknown|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -589,7 +589,7 @@ digraph flowFromInplaceLambda_kt {
218 [label="Postponed enter to lambda"]; 218 [label="Postponed enter to lambda"];
subgraph cluster_46 { subgraph cluster_46 {
color=blue color=blue
219 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 219 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_47 { subgraph cluster_47 {
color=blue color=blue
220 [label="Enter block"]; 220 [label="Enter block"];
@@ -601,7 +601,7 @@ digraph flowFromInplaceLambda_kt {
226 [label="Const: Int(1)"]; 226 [label="Const: Int(1)"];
227 [label="Exit block"]; 227 [label="Exit block"];
} }
228 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 228 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
229 [label="Postponed exit from lambda"]; 229 [label="Postponed exit from lambda"];
230 [label="Function call: R|/unknown|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 230 [label="Function call: R|/unknown|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -669,7 +669,7 @@ digraph flowFromInplaceLambda_kt {
242 [label="Postponed enter to lambda"]; 242 [label="Postponed enter to lambda"];
subgraph cluster_50 { subgraph cluster_50 {
color=blue color=blue
243 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 243 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_51 { subgraph cluster_51 {
color=blue color=blue
244 [label="Enter block"]; 244 [label="Enter block"];
@@ -679,7 +679,7 @@ digraph flowFromInplaceLambda_kt {
248 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"]; 248 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"];
249 [label="Exit block"]; 249 [label="Exit block"];
} }
250 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 250 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
251 [label="Postponed exit from lambda"]; 251 [label="Postponed exit from lambda"];
252 [label="Function call: R|/noContract|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 252 [label="Function call: R|/noContract|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -689,7 +689,7 @@ digraph flowFromInplaceLambda_kt {
256 [label="Postponed enter to lambda"]; 256 [label="Postponed enter to lambda"];
subgraph cluster_52 { subgraph cluster_52 {
color=blue color=blue
257 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 257 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_53 { subgraph cluster_53 {
color=blue color=blue
258 [label="Enter block"]; 258 [label="Enter block"];
@@ -701,7 +701,7 @@ digraph flowFromInplaceLambda_kt {
264 [label="Const: Int(1)"]; 264 [label="Const: Int(1)"];
265 [label="Exit block"]; 265 [label="Exit block"];
} }
266 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 266 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
267 [label="Postponed exit from lambda"]; 267 [label="Postponed exit from lambda"];
268 [label="Function call: R|/noContract|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 268 [label="Function call: R|/noContract|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -765,7 +765,7 @@ digraph flowFromInplaceLambda_kt {
280 [label="Postponed enter to lambda"]; 280 [label="Postponed enter to lambda"];
subgraph cluster_56 { subgraph cluster_56 {
color=blue color=blue
281 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 281 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_57 { subgraph cluster_57 {
color=blue color=blue
282 [label="Enter block"]; 282 [label="Enter block"];
@@ -779,7 +779,7 @@ digraph flowFromInplaceLambda_kt {
290 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow]; 290 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow];
291 [label="Exit block"]; 291 [label="Exit block"];
} }
292 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 292 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
293 [label="Postponed exit from lambda"]; 293 [label="Postponed exit from lambda"];
294 [label="Function call: R|/exactlyOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 294 [label="Function call: R|/exactlyOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -787,7 +787,7 @@ digraph flowFromInplaceLambda_kt {
296 [label="Postponed enter to lambda"]; 296 [label="Postponed enter to lambda"];
subgraph cluster_58 { subgraph cluster_58 {
color=blue color=blue
297 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 297 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_59 { subgraph cluster_59 {
color=blue color=blue
298 [label="Enter block"]; 298 [label="Enter block"];
@@ -801,7 +801,7 @@ digraph flowFromInplaceLambda_kt {
306 [label="Const: Int(1)"]; 306 [label="Const: Int(1)"];
307 [label="Exit block"]; 307 [label="Exit block"];
} }
308 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 308 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
309 [label="Postponed exit from lambda"]; 309 [label="Postponed exit from lambda"];
310 [label="Function call: R|/exactlyOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 310 [label="Function call: R|/exactlyOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -875,7 +875,7 @@ digraph flowFromInplaceLambda_kt {
323 [label="Postponed enter to lambda"]; 323 [label="Postponed enter to lambda"];
subgraph cluster_62 { subgraph cluster_62 {
color=blue color=blue
324 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 324 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_63 { subgraph cluster_63 {
color=blue color=blue
325 [label="Enter block"]; 325 [label="Enter block"];
@@ -889,7 +889,7 @@ digraph flowFromInplaceLambda_kt {
333 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow]; 333 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow];
334 [label="Exit block"]; 334 [label="Exit block"];
} }
335 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 335 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
336 [label="Postponed exit from lambda"]; 336 [label="Postponed exit from lambda"];
337 [label="Function call: R|/atLeastOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 337 [label="Function call: R|/atLeastOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -897,7 +897,7 @@ digraph flowFromInplaceLambda_kt {
339 [label="Postponed enter to lambda"]; 339 [label="Postponed enter to lambda"];
subgraph cluster_64 { subgraph cluster_64 {
color=blue color=blue
340 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 340 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_65 { subgraph cluster_65 {
color=blue color=blue
341 [label="Enter block"]; 341 [label="Enter block"];
@@ -911,7 +911,7 @@ digraph flowFromInplaceLambda_kt {
349 [label="Const: Int(1)"]; 349 [label="Const: Int(1)"];
350 [label="Exit block"]; 350 [label="Exit block"];
} }
351 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 351 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
352 [label="Postponed exit from lambda"]; 352 [label="Postponed exit from lambda"];
353 [label="Function call: R|/atLeastOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 353 [label="Function call: R|/atLeastOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -987,7 +987,7 @@ digraph flowFromInplaceLambda_kt {
366 [label="Postponed enter to lambda"]; 366 [label="Postponed enter to lambda"];
subgraph cluster_68 { subgraph cluster_68 {
color=blue color=blue
367 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 367 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_69 { subgraph cluster_69 {
color=blue color=blue
368 [label="Enter block"]; 368 [label="Enter block"];
@@ -1001,7 +1001,7 @@ digraph flowFromInplaceLambda_kt {
376 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow]; 376 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow];
377 [label="Exit block"]; 377 [label="Exit block"];
} }
378 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 378 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
379 [label="Postponed exit from lambda"]; 379 [label="Postponed exit from lambda"];
380 [label="Function call: R|/atMostOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 380 [label="Function call: R|/atMostOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -1009,7 +1009,7 @@ digraph flowFromInplaceLambda_kt {
382 [label="Postponed enter to lambda"]; 382 [label="Postponed enter to lambda"];
subgraph cluster_70 { subgraph cluster_70 {
color=blue color=blue
383 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 383 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_71 { subgraph cluster_71 {
color=blue color=blue
384 [label="Enter block"]; 384 [label="Enter block"];
@@ -1023,7 +1023,7 @@ digraph flowFromInplaceLambda_kt {
392 [label="Const: Int(1)"]; 392 [label="Const: Int(1)"];
393 [label="Exit block"]; 393 [label="Exit block"];
} }
394 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 394 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
395 [label="Postponed exit from lambda"]; 395 [label="Postponed exit from lambda"];
396 [label="Function call: R|/atMostOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 396 [label="Function call: R|/atMostOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -1091,7 +1091,7 @@ digraph flowFromInplaceLambda_kt {
407 [label="Postponed enter to lambda"]; 407 [label="Postponed enter to lambda"];
subgraph cluster_74 { subgraph cluster_74 {
color=blue color=blue
408 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 408 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_75 { subgraph cluster_75 {
color=blue color=blue
409 [label="Enter block"]; 409 [label="Enter block"];
@@ -1105,7 +1105,7 @@ digraph flowFromInplaceLambda_kt {
417 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow]; 417 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow];
418 [label="Exit block"]; 418 [label="Exit block"];
} }
419 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 419 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
420 [label="Postponed exit from lambda"]; 420 [label="Postponed exit from lambda"];
421 [label="Function call: R|/unknown|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 421 [label="Function call: R|/unknown|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -1113,7 +1113,7 @@ digraph flowFromInplaceLambda_kt {
423 [label="Postponed enter to lambda"]; 423 [label="Postponed enter to lambda"];
subgraph cluster_76 { subgraph cluster_76 {
color=blue color=blue
424 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 424 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_77 { subgraph cluster_77 {
color=blue color=blue
425 [label="Enter block"]; 425 [label="Enter block"];
@@ -1127,7 +1127,7 @@ digraph flowFromInplaceLambda_kt {
433 [label="Const: Int(1)"]; 433 [label="Const: Int(1)"];
434 [label="Exit block"]; 434 [label="Exit block"];
} }
435 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 435 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
436 [label="Postponed exit from lambda"]; 436 [label="Postponed exit from lambda"];
437 [label="Function call: R|/unknown|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 437 [label="Function call: R|/unknown|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -1197,7 +1197,7 @@ digraph flowFromInplaceLambda_kt {
448 [label="Postponed enter to lambda"]; 448 [label="Postponed enter to lambda"];
subgraph cluster_80 { subgraph cluster_80 {
color=blue color=blue
449 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 449 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_81 { subgraph cluster_81 {
color=blue color=blue
450 [label="Enter block"]; 450 [label="Enter block"];
@@ -1211,7 +1211,7 @@ digraph flowFromInplaceLambda_kt {
458 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow]; 458 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow];
459 [label="Exit block"]; 459 [label="Exit block"];
} }
460 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 460 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
461 [label="Postponed exit from lambda"]; 461 [label="Postponed exit from lambda"];
462 [label="Function call: R|/noContract|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 462 [label="Function call: R|/noContract|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -1219,7 +1219,7 @@ digraph flowFromInplaceLambda_kt {
464 [label="Postponed enter to lambda"]; 464 [label="Postponed enter to lambda"];
subgraph cluster_82 { subgraph cluster_82 {
color=blue color=blue
465 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 465 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_83 { subgraph cluster_83 {
color=blue color=blue
466 [label="Enter block"]; 466 [label="Enter block"];
@@ -1233,7 +1233,7 @@ digraph flowFromInplaceLambda_kt {
474 [label="Const: Int(1)"]; 474 [label="Const: Int(1)"];
475 [label="Exit block"]; 475 [label="Exit block"];
} }
476 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 476 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
477 [label="Postponed exit from lambda"]; 477 [label="Postponed exit from lambda"];
478 [label="Function call: R|/noContract|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 478 [label="Function call: R|/noContract|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -1299,28 +1299,28 @@ digraph flowFromInplaceLambda_kt {
489 [label="Postponed enter to lambda"]; 489 [label="Postponed enter to lambda"];
subgraph cluster_86 { subgraph cluster_86 {
color=blue color=blue
490 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 490 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_87 { subgraph cluster_87 {
color=blue color=blue
491 [label="Enter block"]; 491 [label="Enter block"];
492 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow]; 492 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow];
493 [label="Exit block"]; 493 [label="Exit block"];
} }
494 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 494 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
495 [label="Postponed exit from lambda"]; 495 [label="Postponed exit from lambda"];
496 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 496 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
497 [label="Postponed enter to lambda"]; 497 [label="Postponed enter to lambda"];
subgraph cluster_88 { subgraph cluster_88 {
color=blue color=blue
498 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 498 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_89 { subgraph cluster_89 {
color=blue color=blue
499 [label="Enter block"]; 499 [label="Enter block"];
500 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow]; 500 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow];
501 [label="Exit block"]; 501 [label="Exit block"];
} }
502 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 502 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
503 [label="Postponed exit from lambda"]; 503 [label="Postponed exit from lambda"];
504 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 504 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -1371,27 +1371,27 @@ digraph flowFromInplaceLambda_kt {
513 [label="Postponed enter to lambda"]; 513 [label="Postponed enter to lambda"];
subgraph cluster_92 { subgraph cluster_92 {
color=blue color=blue
514 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 514 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_93 { subgraph cluster_93 {
color=blue color=blue
515 [label="Enter block"]; 515 [label="Enter block"];
516 [label="Postponed enter to lambda"]; 516 [label="Postponed enter to lambda"];
subgraph cluster_94 { subgraph cluster_94 {
color=blue color=blue
517 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 517 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_95 { subgraph cluster_95 {
color=blue color=blue
518 [label="Enter block"]; 518 [label="Enter block"];
519 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow]; 519 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow];
520 [label="Exit block"]; 520 [label="Exit block"];
} }
521 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 521 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
522 [label="Postponed exit from lambda"]; 522 [label="Postponed exit from lambda"];
523 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 523 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
524 [label="Exit block"]; 524 [label="Exit block"];
} }
525 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 525 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
526 [label="Postponed exit from lambda"]; 526 [label="Postponed exit from lambda"];
527 [label="Function call: R|/noContract|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 527 [label="Function call: R|/noContract|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolve/cfg/flowFromInplaceLambda2.dot
Vendored
+32 -32
View File
@@ -89,7 +89,7 @@ digraph flowFromInplaceLambda2_kt {
27 [label="Postponed enter to lambda"]; 27 [label="Postponed enter to lambda"];
subgraph cluster_10 { subgraph cluster_10 {
color=blue color=blue
28 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 28 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_11 { subgraph cluster_11 {
color=blue color=blue
29 [label="Enter block"]; 29 [label="Enter block"];
@@ -98,7 +98,7 @@ digraph flowFromInplaceLambda2_kt {
32 [label="Function call: R|/n|<R|kotlin/Nothing?|>()" style="filled" fillcolor=yellow]; 32 [label="Function call: R|/n|<R|kotlin/Nothing?|>()" style="filled" fillcolor=yellow];
33 [label="Exit block"]; 33 [label="Exit block"];
} }
34 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 34 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
35 [label="Postponed exit from lambda"]; 35 [label="Postponed exit from lambda"];
36 [label="Function call: R|kotlin/run|<R|kotlin/Nothing?|>(...)" style="filled" fillcolor=yellow]; 36 [label="Function call: R|kotlin/run|<R|kotlin/Nothing?|>(...)" style="filled" fillcolor=yellow];
@@ -107,7 +107,7 @@ digraph flowFromInplaceLambda2_kt {
39 [label="Postponed enter to lambda"]; 39 [label="Postponed enter to lambda"];
subgraph cluster_12 { subgraph cluster_12 {
color=blue color=blue
40 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 40 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_13 { subgraph cluster_13 {
color=blue color=blue
41 [label="Enter block"]; 41 [label="Enter block"];
@@ -116,7 +116,7 @@ digraph flowFromInplaceLambda2_kt {
44 [label="Const: Int(123)"]; 44 [label="Const: Int(123)"];
45 [label="Exit block"]; 45 [label="Exit block"];
} }
46 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 46 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
47 [label="Postponed exit from lambda"]; 47 [label="Postponed exit from lambda"];
48 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 48 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -173,7 +173,7 @@ digraph flowFromInplaceLambda2_kt {
57 [label="Postponed enter to lambda"]; 57 [label="Postponed enter to lambda"];
subgraph cluster_16 { subgraph cluster_16 {
color=blue color=blue
58 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 58 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_17 { subgraph cluster_17 {
color=blue color=blue
59 [label="Enter block"]; 59 [label="Enter block"];
@@ -182,7 +182,7 @@ digraph flowFromInplaceLambda2_kt {
62 [label="Function call: R|/n|<R|kotlin/Nothing?|>()" style="filled" fillcolor=yellow]; 62 [label="Function call: R|/n|<R|kotlin/Nothing?|>()" style="filled" fillcolor=yellow];
63 [label="Exit block"]; 63 [label="Exit block"];
} }
64 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 64 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
65 [label="Postponed exit from lambda"]; 65 [label="Postponed exit from lambda"];
66 [label="Function call: R|kotlin/run|<R|kotlin/Nothing?|>(...)" style="filled" fillcolor=yellow]; 66 [label="Function call: R|kotlin/run|<R|kotlin/Nothing?|>(...)" style="filled" fillcolor=yellow];
@@ -192,7 +192,7 @@ digraph flowFromInplaceLambda2_kt {
70 [label="Postponed enter to lambda"]; 70 [label="Postponed enter to lambda"];
subgraph cluster_18 { subgraph cluster_18 {
color=blue color=blue
71 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 71 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_19 { subgraph cluster_19 {
color=blue color=blue
72 [label="Enter block"]; 72 [label="Enter block"];
@@ -201,7 +201,7 @@ digraph flowFromInplaceLambda2_kt {
75 [label="Const: Int(123)"]; 75 [label="Const: Int(123)"];
76 [label="Exit block"]; 76 [label="Exit block"];
} }
77 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 77 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
78 [label="Postponed exit from lambda"]; 78 [label="Postponed exit from lambda"];
79 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 79 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -259,7 +259,7 @@ digraph flowFromInplaceLambda2_kt {
88 [label="Postponed enter to lambda"]; 88 [label="Postponed enter to lambda"];
subgraph cluster_22 { subgraph cluster_22 {
color=blue color=blue
89 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 89 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_23 { subgraph cluster_23 {
color=blue color=blue
90 [label="Enter block"]; 90 [label="Enter block"];
@@ -268,7 +268,7 @@ digraph flowFromInplaceLambda2_kt {
93 [label="Function call: R|/n|<R|kotlin/Nothing?|>()" style="filled" fillcolor=yellow]; 93 [label="Function call: R|/n|<R|kotlin/Nothing?|>()" style="filled" fillcolor=yellow];
94 [label="Exit block"]; 94 [label="Exit block"];
} }
95 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 95 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
96 [label="Postponed exit from lambda"]; 96 [label="Postponed exit from lambda"];
97 [label="Function call: R|kotlin/run|<R|kotlin/Nothing?|>(...)" style="filled" fillcolor=yellow]; 97 [label="Function call: R|kotlin/run|<R|kotlin/Nothing?|>(...)" style="filled" fillcolor=yellow];
@@ -308,7 +308,7 @@ digraph flowFromInplaceLambda2_kt {
116 [label="Postponed enter to lambda"]; 116 [label="Postponed enter to lambda"];
subgraph cluster_29 { subgraph cluster_29 {
color=blue color=blue
117 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 117 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_30 { subgraph cluster_30 {
color=blue color=blue
118 [label="Enter block"]; 118 [label="Enter block"];
@@ -317,7 +317,7 @@ digraph flowFromInplaceLambda2_kt {
121 [label="Const: Int(123)"]; 121 [label="Const: Int(123)"];
122 [label="Exit block"]; 122 [label="Exit block"];
} }
123 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 123 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
124 [label="Postponed exit from lambda"]; 124 [label="Postponed exit from lambda"];
125 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 125 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -426,14 +426,14 @@ digraph flowFromInplaceLambda2_kt {
153 [label="Postponed enter to lambda"]; 153 [label="Postponed enter to lambda"];
subgraph cluster_40 { subgraph cluster_40 {
color=blue color=blue
154 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 154 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_41 { subgraph cluster_41 {
color=blue color=blue
155 [label="Enter block"]; 155 [label="Enter block"];
156 [label="Function call: R|/n|<R|kotlin/Nothing?|>()" style="filled" fillcolor=yellow]; 156 [label="Function call: R|/n|<R|kotlin/Nothing?|>()" style="filled" fillcolor=yellow];
157 [label="Exit block"]; 157 [label="Exit block"];
} }
158 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 158 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
159 [label="Postponed exit from lambda"]; 159 [label="Postponed exit from lambda"];
160 [label="Function call: R|kotlin/run|<R|kotlin/Nothing?|>(...)" style="filled" fillcolor=yellow]; 160 [label="Function call: R|kotlin/run|<R|kotlin/Nothing?|>(...)" style="filled" fillcolor=yellow];
@@ -447,7 +447,7 @@ digraph flowFromInplaceLambda2_kt {
165 [label="Postponed enter to lambda"]; 165 [label="Postponed enter to lambda"];
subgraph cluster_43 { subgraph cluster_43 {
color=blue color=blue
166 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 166 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_44 { subgraph cluster_44 {
color=blue color=blue
167 [label="Enter block"]; 167 [label="Enter block"];
@@ -456,7 +456,7 @@ digraph flowFromInplaceLambda2_kt {
170 [label="Function call: R|/n|<R|kotlin/Nothing?|>()" style="filled" fillcolor=yellow]; 170 [label="Function call: R|/n|<R|kotlin/Nothing?|>()" style="filled" fillcolor=yellow];
171 [label="Exit block"]; 171 [label="Exit block"];
} }
172 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 172 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
173 [label="Postponed exit from lambda"]; 173 [label="Postponed exit from lambda"];
174 [label="Function call: R|kotlin/run|<R|kotlin/Nothing?|>(...)" style="filled" fillcolor=yellow]; 174 [label="Function call: R|kotlin/run|<R|kotlin/Nothing?|>(...)" style="filled" fillcolor=yellow];
@@ -470,7 +470,7 @@ digraph flowFromInplaceLambda2_kt {
180 [label="Postponed enter to lambda"]; 180 [label="Postponed enter to lambda"];
subgraph cluster_45 { subgraph cluster_45 {
color=blue color=blue
181 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 181 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_46 { subgraph cluster_46 {
color=blue color=blue
182 [label="Enter block"]; 182 [label="Enter block"];
@@ -480,7 +480,7 @@ digraph flowFromInplaceLambda2_kt {
186 [label="Const: Int(123)"]; 186 [label="Const: Int(123)"];
187 [label="Exit block"]; 187 [label="Exit block"];
} }
188 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 188 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
189 [label="Postponed exit from lambda"]; 189 [label="Postponed exit from lambda"];
190 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 190 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -585,7 +585,7 @@ digraph flowFromInplaceLambda2_kt {
204 [label="Postponed enter to lambda"]; 204 [label="Postponed enter to lambda"];
subgraph cluster_49 { subgraph cluster_49 {
color=blue color=blue
205 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 205 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_50 { subgraph cluster_50 {
color=blue color=blue
206 [label="Enter block"]; 206 [label="Enter block"];
@@ -594,7 +594,7 @@ digraph flowFromInplaceLambda2_kt {
209 [label="Function call: R|/n|<R|kotlin/Nothing?|>()" style="filled" fillcolor=yellow]; 209 [label="Function call: R|/n|<R|kotlin/Nothing?|>()" style="filled" fillcolor=yellow];
210 [label="Exit block"]; 210 [label="Exit block"];
} }
211 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 211 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
212 [label="Postponed exit from lambda"]; 212 [label="Postponed exit from lambda"];
213 [label="Function call: $subj$.R|kotlin/let|<R|kotlin/String|, R|kotlin/Nothing?|>(...)" style="filled" fillcolor=yellow]; 213 [label="Function call: $subj$.R|kotlin/let|<R|kotlin/String|, R|kotlin/Nothing?|>(...)" style="filled" fillcolor=yellow];
@@ -603,14 +603,14 @@ digraph flowFromInplaceLambda2_kt {
216 [label="Postponed enter to lambda"]; 216 [label="Postponed enter to lambda"];
subgraph cluster_51 { subgraph cluster_51 {
color=blue color=blue
217 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 217 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_52 { subgraph cluster_52 {
color=blue color=blue
218 [label="Enter block"]; 218 [label="Enter block"];
219 [label="Const: String()"]; 219 [label="Const: String()"];
220 [label="Exit block"]; 220 [label="Exit block"];
} }
221 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 221 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
222 [label="Postponed exit from lambda"]; 222 [label="Postponed exit from lambda"];
223 [label="Function call: R|kotlin/run|<R|kotlin/String|>(...)" style="filled" fillcolor=yellow]; 223 [label="Function call: R|kotlin/run|<R|kotlin/String|>(...)" style="filled" fillcolor=yellow];
@@ -685,7 +685,7 @@ digraph flowFromInplaceLambda2_kt {
240 [label="Postponed enter to lambda"]; 240 [label="Postponed enter to lambda"];
subgraph cluster_59 { subgraph cluster_59 {
color=blue color=blue
241 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 241 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_60 { subgraph cluster_60 {
color=blue color=blue
242 [label="Enter block"]; 242 [label="Enter block"];
@@ -694,7 +694,7 @@ digraph flowFromInplaceLambda2_kt {
245 [label="Function call: R|/n|<R|kotlin/Nothing?|>()" style="filled" fillcolor=yellow]; 245 [label="Function call: R|/n|<R|kotlin/Nothing?|>()" style="filled" fillcolor=yellow];
246 [label="Exit block"]; 246 [label="Exit block"];
} }
247 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 247 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
248 [label="Postponed exit from lambda"]; 248 [label="Postponed exit from lambda"];
249 [label="Function call: R|kotlin/run|<R|kotlin/Nothing?|>(...)" style="filled" fillcolor=yellow]; 249 [label="Function call: R|kotlin/run|<R|kotlin/Nothing?|>(...)" style="filled" fillcolor=yellow];
@@ -708,7 +708,7 @@ digraph flowFromInplaceLambda2_kt {
254 [label="Postponed enter to lambda"]; 254 [label="Postponed enter to lambda"];
subgraph cluster_62 { subgraph cluster_62 {
color=blue color=blue
255 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 255 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_63 { subgraph cluster_63 {
color=blue color=blue
256 [label="Enter block"]; 256 [label="Enter block"];
@@ -717,7 +717,7 @@ digraph flowFromInplaceLambda2_kt {
259 [label="Function call: R|/n|<R|kotlin/Nothing?|>()" style="filled" fillcolor=yellow]; 259 [label="Function call: R|/n|<R|kotlin/Nothing?|>()" style="filled" fillcolor=yellow];
260 [label="Exit block"]; 260 [label="Exit block"];
} }
261 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 261 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
262 [label="Postponed exit from lambda"]; 262 [label="Postponed exit from lambda"];
263 [label="Function call: R|kotlin/run|<R|kotlin/Nothing?|>(...)" style="filled" fillcolor=yellow]; 263 [label="Function call: R|kotlin/run|<R|kotlin/Nothing?|>(...)" style="filled" fillcolor=yellow];
@@ -731,7 +731,7 @@ digraph flowFromInplaceLambda2_kt {
269 [label="Postponed enter to lambda"]; 269 [label="Postponed enter to lambda"];
subgraph cluster_64 { subgraph cluster_64 {
color=blue color=blue
270 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 270 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_65 { subgraph cluster_65 {
color=blue color=blue
271 [label="Enter block"]; 271 [label="Enter block"];
@@ -740,7 +740,7 @@ digraph flowFromInplaceLambda2_kt {
274 [label="Const: Int(123)"]; 274 [label="Const: Int(123)"];
275 [label="Exit block"]; 275 [label="Exit block"];
} }
276 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 276 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
277 [label="Postponed exit from lambda"]; 277 [label="Postponed exit from lambda"];
278 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 278 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -843,7 +843,7 @@ digraph flowFromInplaceLambda2_kt {
298 [label="Postponed enter to lambda"]; 298 [label="Postponed enter to lambda"];
subgraph cluster_71 { subgraph cluster_71 {
color=blue color=blue
299 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 299 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_72 { subgraph cluster_72 {
color=blue color=blue
300 [label="Enter block"]; 300 [label="Enter block"];
@@ -852,7 +852,7 @@ digraph flowFromInplaceLambda2_kt {
303 [label="Function call: R|/n|<R|kotlin/Nothing?|>()" style="filled" fillcolor=yellow]; 303 [label="Function call: R|/n|<R|kotlin/Nothing?|>()" style="filled" fillcolor=yellow];
304 [label="Exit block"]; 304 [label="Exit block"];
} }
305 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 305 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
306 [label="Postponed exit from lambda"]; 306 [label="Postponed exit from lambda"];
307 [label="Function call: R|kotlin/run|<R|kotlin/Nothing?|>(...)" style="filled" fillcolor=yellow]; 307 [label="Function call: R|kotlin/run|<R|kotlin/Nothing?|>(...)" style="filled" fillcolor=yellow];
@@ -861,7 +861,7 @@ digraph flowFromInplaceLambda2_kt {
310 [label="Postponed enter to lambda"]; 310 [label="Postponed enter to lambda"];
subgraph cluster_73 { subgraph cluster_73 {
color=blue color=blue
311 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 311 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_74 { subgraph cluster_74 {
color=blue color=blue
312 [label="Enter block"]; 312 [label="Enter block"];
@@ -871,7 +871,7 @@ digraph flowFromInplaceLambda2_kt {
316 [label="Const: Int(123)"]; 316 [label="Const: Int(123)"];
317 [label="Exit block"]; 317 [label="Exit block"];
} }
318 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 318 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
319 [label="Postponed exit from lambda"]; 319 [label="Postponed exit from lambda"];
320 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 320 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolve/cfg/flowFromInplaceLambda3.dot
Vendored
+10 -10
View File
@@ -108,7 +108,7 @@ digraph flowFromInplaceLambda3_kt {
35 [label="Postponed enter to lambda"]; 35 [label="Postponed enter to lambda"];
subgraph cluster_14 { subgraph cluster_14 {
color=blue color=blue
36 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 36 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_15 { subgraph cluster_15 {
color=blue color=blue
37 [label="Enter block"]; 37 [label="Enter block"];
@@ -116,7 +116,7 @@ digraph flowFromInplaceLambda3_kt {
39 [label="Assignment: R|<local>/x|"]; 39 [label="Assignment: R|<local>/x|"];
40 [label="Exit block"]; 40 [label="Exit block"];
} }
41 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 41 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
42 [label="Postponed exit from lambda"]; 42 [label="Postponed exit from lambda"];
43 [label="Function call: R|/unknown|(...)" style="filled" fillcolor=yellow]; 43 [label="Function call: R|/unknown|(...)" style="filled" fillcolor=yellow];
@@ -172,7 +172,7 @@ digraph flowFromInplaceLambda3_kt {
60 [label="Postponed enter to lambda"]; 60 [label="Postponed enter to lambda"];
subgraph cluster_18 { subgraph cluster_18 {
color=blue color=blue
61 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 61 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_19 { subgraph cluster_19 {
color=blue color=blue
62 [label="Enter block"]; 62 [label="Enter block"];
@@ -180,7 +180,7 @@ digraph flowFromInplaceLambda3_kt {
64 [label="Assignment: R|<local>/x|"]; 64 [label="Assignment: R|<local>/x|"];
65 [label="Exit block"]; 65 [label="Exit block"];
} }
66 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 66 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
67 [label="Postponed exit from lambda"]; 67 [label="Postponed exit from lambda"];
68 [label="Function call: R|/unknown|(...)" style="filled" fillcolor=yellow]; 68 [label="Function call: R|/unknown|(...)" style="filled" fillcolor=yellow];
@@ -230,7 +230,7 @@ digraph flowFromInplaceLambda3_kt {
82 [label="Postponed enter to lambda"]; 82 [label="Postponed enter to lambda"];
subgraph cluster_22 { subgraph cluster_22 {
color=blue color=blue
83 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 83 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_23 { subgraph cluster_23 {
color=blue color=blue
84 [label="Enter block"]; 84 [label="Enter block"];
@@ -238,7 +238,7 @@ digraph flowFromInplaceLambda3_kt {
86 [label="Assignment: R|<local>/x|"]; 86 [label="Assignment: R|<local>/x|"];
87 [label="Exit block"]; 87 [label="Exit block"];
} }
88 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 88 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
89 [label="Postponed exit from lambda"]; 89 [label="Postponed exit from lambda"];
90 [label="Function call: R|/atLeastOnce|(...)" style="filled" fillcolor=yellow]; 90 [label="Function call: R|/atLeastOnce|(...)" style="filled" fillcolor=yellow];
@@ -295,7 +295,7 @@ digraph flowFromInplaceLambda3_kt {
107 [label="Postponed enter to lambda"]; 107 [label="Postponed enter to lambda"];
subgraph cluster_26 { subgraph cluster_26 {
color=blue color=blue
108 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 108 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_27 { subgraph cluster_27 {
color=blue color=blue
109 [label="Enter block"]; 109 [label="Enter block"];
@@ -303,7 +303,7 @@ digraph flowFromInplaceLambda3_kt {
111 [label="Assignment: R|<local>/x|"]; 111 [label="Assignment: R|<local>/x|"];
112 [label="Exit block"]; 112 [label="Exit block"];
} }
113 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 113 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
114 [label="Postponed exit from lambda"]; 114 [label="Postponed exit from lambda"];
115 [label="Function call: R|/exactlyOnce|(...)" style="filled" fillcolor=yellow]; 115 [label="Function call: R|/exactlyOnce|(...)" style="filled" fillcolor=yellow];
@@ -359,7 +359,7 @@ digraph flowFromInplaceLambda3_kt {
132 [label="Postponed enter to lambda"]; 132 [label="Postponed enter to lambda"];
subgraph cluster_30 { subgraph cluster_30 {
color=blue color=blue
133 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 133 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_31 { subgraph cluster_31 {
color=blue color=blue
134 [label="Enter block"]; 134 [label="Enter block"];
@@ -367,7 +367,7 @@ digraph flowFromInplaceLambda3_kt {
136 [label="Assignment: R|<local>/x|"]; 136 [label="Assignment: R|<local>/x|"];
137 [label="Exit block"]; 137 [label="Exit block"];
} }
138 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 138 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
139 [label="Postponed exit from lambda"]; 139 [label="Postponed exit from lambda"];
140 [label="Function call: R|/atMostOnce|(...)" style="filled" fillcolor=yellow]; 140 [label="Function call: R|/atMostOnce|(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolve/cfg/flowFromTwoInplaceLambdas.dot
Vendored
+32 -32
View File
@@ -76,7 +76,7 @@ digraph flowFromTwoInplaceLambdas_kt {
28 [label="Postponed enter to lambda"]; 28 [label="Postponed enter to lambda"];
subgraph cluster_10 { subgraph cluster_10 {
color=blue color=blue
29 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 29 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_11 { subgraph cluster_11 {
color=blue color=blue
30 [label="Enter block"]; 30 [label="Enter block"];
@@ -86,11 +86,11 @@ digraph flowFromTwoInplaceLambdas_kt {
34 [label="Const: Int(123)"]; 34 [label="Const: Int(123)"];
35 [label="Exit block"]; 35 [label="Exit block"];
} }
36 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 36 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
subgraph cluster_12 { subgraph cluster_12 {
color=blue color=blue
37 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 37 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_13 { subgraph cluster_13 {
color=blue color=blue
38 [label="Enter block"]; 38 [label="Enter block"];
@@ -99,7 +99,7 @@ digraph flowFromTwoInplaceLambdas_kt {
41 [label="Function call: R|/n|<R|kotlin/Int?|>()" style="filled" fillcolor=yellow]; 41 [label="Function call: R|/n|<R|kotlin/Int?|>()" style="filled" fillcolor=yellow];
42 [label="Exit block"]; 42 [label="Exit block"];
} }
43 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 43 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
44 [label="Postponed exit from lambda"]; 44 [label="Postponed exit from lambda"];
45 [label="Postponed exit from lambda"]; 45 [label="Postponed exit from lambda"];
@@ -185,7 +185,7 @@ digraph flowFromTwoInplaceLambdas_kt {
68 [label="Postponed enter to lambda"]; 68 [label="Postponed enter to lambda"];
subgraph cluster_19 { subgraph cluster_19 {
color=blue color=blue
69 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 69 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_20 { subgraph cluster_20 {
color=blue color=blue
70 [label="Enter block"]; 70 [label="Enter block"];
@@ -195,11 +195,11 @@ digraph flowFromTwoInplaceLambdas_kt {
74 [label="Const: Int(123)"]; 74 [label="Const: Int(123)"];
75 [label="Exit block"]; 75 [label="Exit block"];
} }
76 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 76 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
subgraph cluster_21 { subgraph cluster_21 {
color=blue color=blue
77 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 77 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_22 { subgraph cluster_22 {
color=blue color=blue
78 [label="Enter block"]; 78 [label="Enter block"];
@@ -208,7 +208,7 @@ digraph flowFromTwoInplaceLambdas_kt {
81 [label="Function call: R|/n|<R|kotlin/Int?|>()" style="filled" fillcolor=yellow]; 81 [label="Function call: R|/n|<R|kotlin/Int?|>()" style="filled" fillcolor=yellow];
82 [label="Exit block"]; 82 [label="Exit block"];
} }
83 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 83 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
84 [label="Postponed exit from lambda"]; 84 [label="Postponed exit from lambda"];
85 [label="Postponed exit from lambda"]; 85 [label="Postponed exit from lambda"];
@@ -280,7 +280,7 @@ digraph flowFromTwoInplaceLambdas_kt {
101 [label="Postponed enter to lambda"]; 101 [label="Postponed enter to lambda"];
subgraph cluster_25 { subgraph cluster_25 {
color=blue color=blue
102 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 102 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_26 { subgraph cluster_26 {
color=blue color=blue
103 [label="Enter block"]; 103 [label="Enter block"];
@@ -289,11 +289,11 @@ digraph flowFromTwoInplaceLambdas_kt {
106 [label="Const: Int(123)"]; 106 [label="Const: Int(123)"];
107 [label="Exit block"]; 107 [label="Exit block"];
} }
108 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 108 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
subgraph cluster_27 { subgraph cluster_27 {
color=blue color=blue
109 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 109 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_28 { subgraph cluster_28 {
color=blue color=blue
110 [label="Enter block"]; 110 [label="Enter block"];
@@ -302,7 +302,7 @@ digraph flowFromTwoInplaceLambdas_kt {
113 [label="Function call: R|/n|<R|kotlin/Int?|>()" style="filled" fillcolor=yellow]; 113 [label="Function call: R|/n|<R|kotlin/Int?|>()" style="filled" fillcolor=yellow];
114 [label="Exit block"]; 114 [label="Exit block"];
} }
115 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 115 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
116 [label="Postponed exit from lambda"]; 116 [label="Postponed exit from lambda"];
117 [label="Postponed exit from lambda"]; 117 [label="Postponed exit from lambda"];
@@ -368,7 +368,7 @@ digraph flowFromTwoInplaceLambdas_kt {
135 [label="Postponed enter to lambda"]; 135 [label="Postponed enter to lambda"];
subgraph cluster_31 { subgraph cluster_31 {
color=blue color=blue
136 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 136 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_32 { subgraph cluster_32 {
color=blue color=blue
137 [label="Enter block"]; 137 [label="Enter block"];
@@ -377,11 +377,11 @@ digraph flowFromTwoInplaceLambdas_kt {
140 [label="Const: Int(123)"]; 140 [label="Const: Int(123)"];
141 [label="Exit block"]; 141 [label="Exit block"];
} }
142 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 142 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
subgraph cluster_33 { subgraph cluster_33 {
color=blue color=blue
143 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 143 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_34 { subgraph cluster_34 {
color=blue color=blue
144 [label="Enter block"]; 144 [label="Enter block"];
@@ -390,7 +390,7 @@ digraph flowFromTwoInplaceLambdas_kt {
147 [label="Function call: R|/n|<R|kotlin/Int?|>()" style="filled" fillcolor=yellow]; 147 [label="Function call: R|/n|<R|kotlin/Int?|>()" style="filled" fillcolor=yellow];
148 [label="Exit block"]; 148 [label="Exit block"];
} }
149 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 149 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
150 [label="Postponed exit from lambda"]; 150 [label="Postponed exit from lambda"];
151 [label="Postponed exit from lambda"]; 151 [label="Postponed exit from lambda"];
@@ -470,7 +470,7 @@ digraph flowFromTwoInplaceLambdas_kt {
173 [label="Postponed enter to lambda"]; 173 [label="Postponed enter to lambda"];
subgraph cluster_39 { subgraph cluster_39 {
color=blue color=blue
174 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 174 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_40 { subgraph cluster_40 {
color=blue color=blue
175 [label="Enter block"]; 175 [label="Enter block"];
@@ -482,11 +482,11 @@ digraph flowFromTwoInplaceLambdas_kt {
181 [label="Const: Int(123)"]; 181 [label="Const: Int(123)"];
182 [label="Exit block"]; 182 [label="Exit block"];
} }
183 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 183 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
subgraph cluster_41 { subgraph cluster_41 {
color=blue color=blue
184 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 184 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_42 { subgraph cluster_42 {
color=blue color=blue
185 [label="Enter block"]; 185 [label="Enter block"];
@@ -498,7 +498,7 @@ digraph flowFromTwoInplaceLambdas_kt {
191 [label="Function call: R|/n|<R|kotlin/Int?|>()" style="filled" fillcolor=yellow]; 191 [label="Function call: R|/n|<R|kotlin/Int?|>()" style="filled" fillcolor=yellow];
192 [label="Exit block"]; 192 [label="Exit block"];
} }
193 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 193 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
194 [label="Postponed exit from lambda"]; 194 [label="Postponed exit from lambda"];
195 [label="Postponed exit from lambda"]; 195 [label="Postponed exit from lambda"];
@@ -566,7 +566,7 @@ digraph flowFromTwoInplaceLambdas_kt {
211 [label="Postponed enter to lambda"]; 211 [label="Postponed enter to lambda"];
subgraph cluster_45 { subgraph cluster_45 {
color=blue color=blue
212 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 212 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_46 { subgraph cluster_46 {
color=blue color=blue
213 [label="Enter block"]; 213 [label="Enter block"];
@@ -575,11 +575,11 @@ digraph flowFromTwoInplaceLambdas_kt {
216 [label="Function call: R|/n|<R|kotlin/Int?|>()" style="filled" fillcolor=yellow]; 216 [label="Function call: R|/n|<R|kotlin/Int?|>()" style="filled" fillcolor=yellow];
217 [label="Exit block"]; 217 [label="Exit block"];
} }
218 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 218 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
subgraph cluster_47 { subgraph cluster_47 {
color=blue color=blue
219 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 219 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_48 { subgraph cluster_48 {
color=blue color=blue
220 [label="Enter block"]; 220 [label="Enter block"];
@@ -588,7 +588,7 @@ digraph flowFromTwoInplaceLambdas_kt {
223 [label="Const: Int(123)"]; 223 [label="Const: Int(123)"];
224 [label="Exit block"]; 224 [label="Exit block"];
} }
225 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 225 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
226 [label="Postponed exit from lambda"]; 226 [label="Postponed exit from lambda"];
227 [label="Postponed exit from lambda"]; 227 [label="Postponed exit from lambda"];
@@ -651,7 +651,7 @@ digraph flowFromTwoInplaceLambdas_kt {
242 [label="Postponed enter to lambda"]; 242 [label="Postponed enter to lambda"];
subgraph cluster_51 { subgraph cluster_51 {
color=blue color=blue
243 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 243 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_52 { subgraph cluster_52 {
color=blue color=blue
244 [label="Enter block"]; 244 [label="Enter block"];
@@ -659,11 +659,11 @@ digraph flowFromTwoInplaceLambdas_kt {
246 [label="Access variable R|kotlin/String.length|"]; 246 [label="Access variable R|kotlin/String.length|"];
247 [label="Exit block"]; 247 [label="Exit block"];
} }
248 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 248 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
subgraph cluster_53 { subgraph cluster_53 {
color=blue color=blue
249 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 249 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_54 { subgraph cluster_54 {
color=blue color=blue
250 [label="Enter block"]; 250 [label="Enter block"];
@@ -673,7 +673,7 @@ digraph flowFromTwoInplaceLambdas_kt {
254 [label="Access variable R|kotlin/String.length|"]; 254 [label="Access variable R|kotlin/String.length|"];
255 [label="Exit block"]; 255 [label="Exit block"];
} }
256 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 256 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
257 [label="Postponed exit from lambda"]; 257 [label="Postponed exit from lambda"];
258 [label="Postponed exit from lambda"]; 258 [label="Postponed exit from lambda"];
@@ -723,7 +723,7 @@ digraph flowFromTwoInplaceLambdas_kt {
269 [label="Postponed enter to lambda"]; 269 [label="Postponed enter to lambda"];
subgraph cluster_57 { subgraph cluster_57 {
color=blue color=blue
270 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 270 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_58 { subgraph cluster_58 {
color=blue color=blue
271 [label="Enter block"]; 271 [label="Enter block"];
@@ -731,11 +731,11 @@ digraph flowFromTwoInplaceLambdas_kt {
273 [label="Stub" style="filled" fillcolor=gray]; 273 [label="Stub" style="filled" fillcolor=gray];
274 [label="Exit block" style="filled" fillcolor=gray]; 274 [label="Exit block" style="filled" fillcolor=gray];
} }
275 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 275 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
subgraph cluster_59 { subgraph cluster_59 {
color=blue color=blue
276 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 276 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_60 { subgraph cluster_60 {
color=blue color=blue
277 [label="Enter block"]; 277 [label="Enter block"];
@@ -743,7 +743,7 @@ digraph flowFromTwoInplaceLambdas_kt {
279 [label="Assignment: R|<local>/y|"]; 279 [label="Assignment: R|<local>/y|"];
280 [label="Exit block"]; 280 [label="Exit block"];
} }
281 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 281 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
282 [label="Postponed exit from lambda"]; 282 [label="Postponed exit from lambda"];
283 [label="Postponed exit from lambda"]; 283 [label="Postponed exit from lambda"];
compiler/fir/analysis-tests/testData/resolve/cfg/initBlockAndInPlaceLambda.dot
Vendored
+2 -2
View File
@@ -38,7 +38,7 @@ digraph initBlockAndInPlaceLambda_kt {
13 [label="Postponed enter to lambda"]; 13 [label="Postponed enter to lambda"];
subgraph cluster_6 { subgraph cluster_6 {
color=blue color=blue
14 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 14 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_7 { subgraph cluster_7 {
color=blue color=blue
15 [label="Enter block"]; 15 [label="Enter block"];
@@ -47,7 +47,7 @@ digraph initBlockAndInPlaceLambda_kt {
18 [label="Function call: R|/C.C|(...)" style="filled" fillcolor=yellow]; 18 [label="Function call: R|/C.C|(...)" style="filled" fillcolor=yellow];
19 [label="Exit block"]; 19 [label="Exit block"];
} }
20 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 20 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
21 [label="Postponed exit from lambda"]; 21 [label="Postponed exit from lambda"];
22 [label="Function call: $subj$.R|kotlin/let|<R|B|, R|C|>(...)" style="filled" fillcolor=yellow]; 22 [label="Function call: $subj$.R|kotlin/let|<R|B|, R|C|>(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolve/cfg/inplaceLambdaInControlFlowExpressions.dot
Vendored
+6 -6
View File
@@ -62,14 +62,14 @@ digraph inplaceLambdaInControlFlowExpressions_kt {
24 [label="Postponed enter to lambda"]; 24 [label="Postponed enter to lambda"];
subgraph cluster_9 { subgraph cluster_9 {
color=blue color=blue
25 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 25 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_10 { subgraph cluster_10 {
color=blue color=blue
26 [label="Enter block"]; 26 [label="Enter block"];
27 [label="Function call: R|/materialize|<R|kotlin/String|>()" style="filled" fillcolor=yellow]; 27 [label="Function call: R|/materialize|<R|kotlin/String|>()" style="filled" fillcolor=yellow];
28 [label="Exit block"]; 28 [label="Exit block"];
} }
29 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 29 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
30 [label="Postponed exit from lambda"]; 30 [label="Postponed exit from lambda"];
31 [label="Function call: R|kotlin/run|<R|kotlin/String|>(...)" style="filled" fillcolor=yellow]; 31 [label="Function call: R|kotlin/run|<R|kotlin/String|>(...)" style="filled" fillcolor=yellow];
@@ -133,14 +133,14 @@ digraph inplaceLambdaInControlFlowExpressions_kt {
43 [label="Postponed enter to lambda"]; 43 [label="Postponed enter to lambda"];
subgraph cluster_16 { subgraph cluster_16 {
color=blue color=blue
44 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 44 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_17 { subgraph cluster_17 {
color=blue color=blue
45 [label="Enter block"]; 45 [label="Enter block"];
46 [label="Function call: R|/materialize|<R|kotlin/String|>()" style="filled" fillcolor=yellow]; 46 [label="Function call: R|/materialize|<R|kotlin/String|>()" style="filled" fillcolor=yellow];
47 [label="Exit block"]; 47 [label="Exit block"];
} }
48 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 48 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
49 [label="Postponed exit from lambda"]; 49 [label="Postponed exit from lambda"];
50 [label="Function call: R|kotlin/run|<R|kotlin/String|>(...)" style="filled" fillcolor=yellow]; 50 [label="Function call: R|kotlin/run|<R|kotlin/String|>(...)" style="filled" fillcolor=yellow];
@@ -204,14 +204,14 @@ digraph inplaceLambdaInControlFlowExpressions_kt {
65 [label="Postponed enter to lambda"]; 65 [label="Postponed enter to lambda"];
subgraph cluster_22 { subgraph cluster_22 {
color=blue color=blue
66 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 66 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_23 { subgraph cluster_23 {
color=blue color=blue
67 [label="Enter block"]; 67 [label="Enter block"];
68 [label="Function call: R|/materialize|<R|kotlin/String?|>()" style="filled" fillcolor=yellow]; 68 [label="Function call: R|/materialize|<R|kotlin/String?|>()" style="filled" fillcolor=yellow];
69 [label="Exit block"]; 69 [label="Exit block"];
} }
70 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 70 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
71 [label="Postponed exit from lambda"]; 71 [label="Postponed exit from lambda"];
72 [label="Function call: R|kotlin/run|<R|kotlin/String?|>(...)" style="filled" fillcolor=yellow]; 72 [label="Function call: R|kotlin/run|<R|kotlin/String?|>(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolve/cfg/jumps.dot
Vendored
+5 -5
View File
@@ -194,7 +194,7 @@ digraph jumps_kt {
} }
73 [label="Exit loop block" style="filled" fillcolor=gray]; 73 [label="Exit loop block" style="filled" fillcolor=gray];
} }
74 [label="Exit whileloop"]; 74 [label="Exit while loop"];
} }
75 [label="Access variable R|<local>/x|"]; 75 [label="Access variable R|<local>/x|"];
76 [label="Smart cast: R|<local>/x|"]; 76 [label="Smart cast: R|<local>/x|"];
@@ -254,7 +254,7 @@ digraph jumps_kt {
92 [label="Const: Boolean(true)" style="filled" fillcolor=gray]; 92 [label="Const: Boolean(true)" style="filled" fillcolor=gray];
93 [label="Exit loop condition" style="filled" fillcolor=gray]; 93 [label="Exit loop condition" style="filled" fillcolor=gray];
} }
94 [label="Exit do-whileloop"]; 94 [label="Exit do-while loop"];
} }
95 [label="Access variable R|<local>/x|"]; 95 [label="Access variable R|<local>/x|"];
96 [label="Smart cast: R|<local>/x|"]; 96 [label="Smart cast: R|<local>/x|"];
@@ -331,7 +331,7 @@ digraph jumps_kt {
} }
121 [label="Exit loop block"]; 121 [label="Exit loop block"];
} }
122 [label="Exit whileloop"]; 122 [label="Exit while loop"];
} }
123 [label="Exit block"]; 123 [label="Exit block"];
} }
@@ -388,7 +388,7 @@ digraph jumps_kt {
132 [label="Postponed enter to lambda"]; 132 [label="Postponed enter to lambda"];
subgraph cluster_39 { subgraph cluster_39 {
color=blue color=blue
133 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 133 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_40 { subgraph cluster_40 {
color=blue color=blue
134 [label="Enter block"]; 134 [label="Enter block"];
@@ -396,7 +396,7 @@ digraph jumps_kt {
136 [label="Stub" style="filled" fillcolor=gray]; 136 [label="Stub" style="filled" fillcolor=gray];
137 [label="Exit block" style="filled" fillcolor=gray]; 137 [label="Exit block" style="filled" fillcolor=gray];
} }
138 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 138 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
139 [label="Postponed exit from lambda"]; 139 [label="Postponed exit from lambda"];
140 [label="Function call: R|/run|(...)" style="filled" fillcolor=yellow]; 140 [label="Function call: R|/run|(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolve/cfg/lambdaAsReturnOfLambda.dot
Vendored
+4 -4
View File
@@ -9,14 +9,14 @@ digraph lambdaAsReturnOfLambda_kt {
1 [label="Postponed enter to lambda"]; 1 [label="Postponed enter to lambda"];
subgraph cluster_1 { subgraph cluster_1 {
color=blue color=blue
2 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 2 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_2 { subgraph cluster_2 {
color=blue color=blue
3 [label="Enter block"]; 3 [label="Enter block"];
4 [label="Exit anonymous function expression"]; 4 [label="Exit anonymous function expression"];
subgraph cluster_3 { subgraph cluster_3 {
color=blue color=blue
5 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 5 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_4 { subgraph cluster_4 {
color=blue color=blue
6 [label="Enter block"]; 6 [label="Enter block"];
@@ -24,7 +24,7 @@ digraph lambdaAsReturnOfLambda_kt {
8 [label="Function call: R|/bar|(...)" style="filled" fillcolor=yellow]; 8 [label="Function call: R|/bar|(...)" style="filled" fillcolor=yellow];
9 [label="Exit block"]; 9 [label="Exit block"];
} }
10 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 10 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
11 [label="Jump: ^@run lambda@fun <anonymous>(foo: R|kotlin/String|): R|kotlin/Unit| <inline=Unknown> { 11 [label="Jump: ^@run lambda@fun <anonymous>(foo: R|kotlin/String|): R|kotlin/Unit| <inline=Unknown> {
R|/bar|(R|<local>/foo|) R|/bar|(R|<local>/foo|)
@@ -33,7 +33,7 @@ digraph lambdaAsReturnOfLambda_kt {
12 [label="Stub" style="filled" fillcolor=gray]; 12 [label="Stub" style="filled" fillcolor=gray];
13 [label="Exit block" style="filled" fillcolor=gray]; 13 [label="Exit block" style="filled" fillcolor=gray];
} }
14 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 14 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
15 [label="Postponed exit from lambda"]; 15 [label="Postponed exit from lambda"];
16 [label="Function call: R|/run|<R|(kotlin/String) -> kotlin/Unit|>(...)" style="filled" fillcolor=yellow]; 16 [label="Function call: R|/run|<R|(kotlin/String) -> kotlin/Unit|>(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolve/cfg/lambdaReturningObject.dot
Vendored
+2 -2
View File
@@ -80,14 +80,14 @@ digraph lambdaReturningObject_kt {
23 [label="Postponed enter to lambda"]; 23 [label="Postponed enter to lambda"];
subgraph cluster_10 { subgraph cluster_10 {
color=blue color=blue
24 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 24 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_11 { subgraph cluster_11 {
color=blue color=blue
25 [label="Enter block"]; 25 [label="Enter block"];
26 [label="Access qualifier /IrStarProjectionImpl"]; 26 [label="Access qualifier /IrStarProjectionImpl"];
27 [label="Exit block"]; 27 [label="Exit block"];
} }
28 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 28 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
29 [label="Postponed exit from lambda"]; 29 [label="Postponed exit from lambda"];
30 [label="Function call: R|/MyOut|<R|IrStarProjectionImpl|>(...)" style="filled" fillcolor=yellow]; 30 [label="Function call: R|/MyOut|<R|IrStarProjectionImpl|>(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolve/cfg/lambdas.dot
Vendored
+8 -8
View File
@@ -43,7 +43,7 @@ digraph lambdas_kt {
15 [label="Postponed enter to lambda"]; 15 [label="Postponed enter to lambda"];
subgraph cluster_7 { subgraph cluster_7 {
color=blue color=blue
16 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 16 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_8 { subgraph cluster_8 {
color=blue color=blue
17 [label="Enter block"]; 17 [label="Enter block"];
@@ -52,7 +52,7 @@ digraph lambdas_kt {
20 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; 20 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
21 [label="Exit block"]; 21 [label="Exit block"];
} }
22 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 22 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
23 [label="Postponed exit from lambda"]; 23 [label="Postponed exit from lambda"];
24 [label="Function call: R|/run|(...)" style="filled" fillcolor=yellow]; 24 [label="Function call: R|/run|(...)" style="filled" fillcolor=yellow];
@@ -126,7 +126,7 @@ digraph lambdas_kt {
} }
subgraph cluster_14 { subgraph cluster_14 {
color=blue color=blue
47 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 47 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_15 { subgraph cluster_15 {
color=blue color=blue
48 [label="Enter block"]; 48 [label="Enter block"];
@@ -135,7 +135,7 @@ digraph lambdas_kt {
51 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow]; 51 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
52 [label="Exit block"]; 52 [label="Exit block"];
} }
53 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 53 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
30 -> {31}; 30 -> {31};
31 -> {32}; 31 -> {32};
@@ -193,7 +193,7 @@ digraph lambdas_kt {
64 [label="Postponed enter to lambda"]; 64 [label="Postponed enter to lambda"];
subgraph cluster_20 { subgraph cluster_20 {
color=blue color=blue
65 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 65 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_21 { subgraph cluster_21 {
color=blue color=blue
66 [label="Enter block"]; 66 [label="Enter block"];
@@ -202,7 +202,7 @@ digraph lambdas_kt {
69 [label="Stub" style="filled" fillcolor=gray]; 69 [label="Stub" style="filled" fillcolor=gray];
70 [label="Exit block" style="filled" fillcolor=gray]; 70 [label="Exit block" style="filled" fillcolor=gray];
} }
71 [label="Exit function anonymousFunction" style="filled" fillcolor=gray]; 71 [label="Exit function <anonymous>" style="filled" fillcolor=gray];
} }
72 [label="Postponed exit from lambda"]; 72 [label="Postponed exit from lambda"];
73 [label="Function call: R|/getInt|(...)" style="filled" fillcolor=yellow]; 73 [label="Function call: R|/getInt|(...)" style="filled" fillcolor=yellow];
@@ -244,7 +244,7 @@ digraph lambdas_kt {
80 [label="Postponed enter to lambda"]; 80 [label="Postponed enter to lambda"];
subgraph cluster_24 { subgraph cluster_24 {
color=blue color=blue
81 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 81 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_25 { subgraph cluster_25 {
color=blue color=blue
82 [label="Enter block"]; 82 [label="Enter block"];
@@ -253,7 +253,7 @@ digraph lambdas_kt {
85 [label="Stub" style="filled" fillcolor=gray]; 85 [label="Stub" style="filled" fillcolor=gray];
86 [label="Exit block" style="filled" fillcolor=gray]; 86 [label="Exit block" style="filled" fillcolor=gray];
} }
87 [label="Exit function anonymousFunction" style="filled" fillcolor=gray]; 87 [label="Exit function <anonymous>" style="filled" fillcolor=gray];
} }
88 [label="Postponed exit from lambda"]; 88 [label="Postponed exit from lambda"];
89 [label="Function call: R|/getInt|(...)" style="filled" fillcolor=yellow]; 89 [label="Function call: R|/getInt|(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolve/cfg/localClassesWithImplicit.dot
Vendored
+9 -9
View File
@@ -52,7 +52,7 @@ digraph localClassesWithImplicit_kt {
20 [label="Exit when branch result" style="filled" fillcolor=gray]; 20 [label="Exit when branch result" style="filled" fillcolor=gray];
21 [label="Exit when"]; 21 [label="Exit when"];
} }
22 [label="Exit local class test"]; 22 [label="Local class declaration"];
23 [label="Enter anonymous object"]; 23 [label="Enter anonymous object"];
subgraph cluster_7 { subgraph cluster_7 {
color=blue color=blue
@@ -93,7 +93,7 @@ digraph localClassesWithImplicit_kt {
42 [label="Postponed enter to lambda"]; 42 [label="Postponed enter to lambda"];
subgraph cluster_13 { subgraph cluster_13 {
color=blue color=blue
43 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 43 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_14 { subgraph cluster_14 {
color=blue color=blue
44 [label="Enter block"]; 44 [label="Enter block"];
@@ -105,7 +105,7 @@ digraph localClassesWithImplicit_kt {
50 [label="Function call: this@R|/<anonymous>|.R|/<anonymous>.baz|()" style="filled" fillcolor=yellow]; 50 [label="Function call: this@R|/<anonymous>|.R|/<anonymous>.baz|()" style="filled" fillcolor=yellow];
51 [label="Exit block"]; 51 [label="Exit block"];
} }
52 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 52 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
53 [label="Postponed exit from lambda"]; 53 [label="Postponed exit from lambda"];
54 [label="Function call: R|/myRun|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 54 [label="Function call: R|/myRun|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -129,7 +129,7 @@ digraph localClassesWithImplicit_kt {
61 [label="Postponed enter to lambda"]; 61 [label="Postponed enter to lambda"];
subgraph cluster_17 { subgraph cluster_17 {
color=blue color=blue
62 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 62 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_18 { subgraph cluster_18 {
color=blue color=blue
63 [label="Enter block"]; 63 [label="Enter block"];
@@ -174,7 +174,7 @@ digraph localClassesWithImplicit_kt {
} }
88 [label="Exit block"]; 88 [label="Exit block"];
} }
89 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 89 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
90 [label="Postponed exit from lambda"]; 90 [label="Postponed exit from lambda"];
91 [label="Function call: R|/myRun|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 91 [label="Function call: R|/myRun|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -230,7 +230,7 @@ digraph localClassesWithImplicit_kt {
110 [label="Postponed enter to lambda"]; 110 [label="Postponed enter to lambda"];
subgraph cluster_30 { subgraph cluster_30 {
color=blue color=blue
111 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 111 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_31 { subgraph cluster_31 {
color=blue color=blue
112 [label="Enter block"]; 112 [label="Enter block"];
@@ -242,7 +242,7 @@ digraph localClassesWithImplicit_kt {
118 [label="Function call: this@R|/A|.R|<local>/baz|()" style="filled" fillcolor=yellow]; 118 [label="Function call: this@R|/A|.R|<local>/baz|()" style="filled" fillcolor=yellow];
119 [label="Exit block"]; 119 [label="Exit block"];
} }
120 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 120 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
121 [label="Postponed exit from lambda"]; 121 [label="Postponed exit from lambda"];
122 [label="Function call: R|/myRun|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 122 [label="Function call: R|/myRun|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -266,7 +266,7 @@ digraph localClassesWithImplicit_kt {
129 [label="Postponed enter to lambda"]; 129 [label="Postponed enter to lambda"];
subgraph cluster_34 { subgraph cluster_34 {
color=blue color=blue
130 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 130 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_35 { subgraph cluster_35 {
color=blue color=blue
131 [label="Enter block"]; 131 [label="Enter block"];
@@ -311,7 +311,7 @@ digraph localClassesWithImplicit_kt {
} }
156 [label="Exit block"]; 156 [label="Exit block"];
} }
157 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 157 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
158 [label="Postponed exit from lambda"]; 158 [label="Postponed exit from lambda"];
159 [label="Function call: R|/myRun|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 159 [label="Function call: R|/myRun|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolve/cfg/loops.dot
Vendored
+9 -9
View File
@@ -31,7 +31,7 @@ digraph loops_kt {
} }
12 [label="Exit loop block"]; 12 [label="Exit loop block"];
} }
13 [label="Exit whileloop"]; 13 [label="Exit while loop"];
} }
14 [label="Access variable R|<local>/x|"]; 14 [label="Access variable R|<local>/x|"];
15 [label="Type operator: (R|<local>/x| is R|kotlin/String|)"]; 15 [label="Type operator: (R|<local>/x| is R|kotlin/String|)"];
@@ -85,7 +85,7 @@ digraph loops_kt {
29 [label="Access variable R|<local>/b|"]; 29 [label="Access variable R|<local>/b|"];
30 [label="Exit loop condition"]; 30 [label="Exit loop condition"];
} }
31 [label="Exit do-whileloop"]; 31 [label="Exit do-while loop"];
} }
32 [label="Access variable R|<local>/x|"]; 32 [label="Access variable R|<local>/x|"];
33 [label="Type operator: (R|<local>/x| is R|kotlin/String|)"]; 33 [label="Type operator: (R|<local>/x| is R|kotlin/String|)"];
@@ -152,7 +152,7 @@ digraph loops_kt {
} }
58 [label="Exit loop block"]; 58 [label="Exit loop block"];
} }
59 [label="Exit whileloop"]; 59 [label="Exit while loop"];
} }
60 [label="Exit block"]; 60 [label="Exit block"];
} }
@@ -217,7 +217,7 @@ digraph loops_kt {
} }
75 [label="Exit loop block"]; 75 [label="Exit loop block"];
} }
76 [label="Exit whileloop" style="filled" fillcolor=gray]; 76 [label="Exit while loop" style="filled" fillcolor=gray];
} }
77 [label="Const: Int(1)" style="filled" fillcolor=gray]; 77 [label="Const: Int(1)" style="filled" fillcolor=gray];
78 [label="Exit block" style="filled" fillcolor=gray]; 78 [label="Exit block" style="filled" fillcolor=gray];
@@ -286,7 +286,7 @@ digraph loops_kt {
} }
101 [label="Exit loop block"]; 101 [label="Exit loop block"];
} }
102 [label="Exit whileloop"]; 102 [label="Exit while loop"];
} }
103 [label="Const: Int(1)"]; 103 [label="Const: Int(1)"];
104 [label="Exit block"]; 104 [label="Exit block"];
@@ -347,7 +347,7 @@ digraph loops_kt {
} }
116 [label="Exit loop block" style="filled" fillcolor=gray]; 116 [label="Exit loop block" style="filled" fillcolor=gray];
} }
117 [label="Exit whileloop"]; 117 [label="Exit while loop"];
} }
118 [label="Const: Int(1)"]; 118 [label="Const: Int(1)"];
119 [label="Exit block"]; 119 [label="Exit block"];
@@ -396,7 +396,7 @@ digraph loops_kt {
130 [label="Const: Boolean(true)"]; 130 [label="Const: Boolean(true)"];
131 [label="Exit loop condition"]; 131 [label="Exit loop condition"];
} }
132 [label="Exit do-whileloop" style="filled" fillcolor=gray]; 132 [label="Exit do-while loop" style="filled" fillcolor=gray];
} }
133 [label="Const: Int(1)" style="filled" fillcolor=gray]; 133 [label="Const: Int(1)" style="filled" fillcolor=gray];
134 [label="Exit block" style="filled" fillcolor=gray]; 134 [label="Exit block" style="filled" fillcolor=gray];
@@ -465,7 +465,7 @@ digraph loops_kt {
156 [label="Const: Boolean(true)"]; 156 [label="Const: Boolean(true)"];
157 [label="Exit loop condition"]; 157 [label="Exit loop condition"];
} }
158 [label="Exit do-whileloop"]; 158 [label="Exit do-while loop"];
} }
159 [label="Const: Int(1)"]; 159 [label="Const: Int(1)"];
160 [label="Exit block"]; 160 [label="Exit block"];
@@ -526,7 +526,7 @@ digraph loops_kt {
171 [label="Const: Boolean(false)"]; 171 [label="Const: Boolean(false)"];
172 [label="Exit loop condition"]; 172 [label="Exit loop condition"];
} }
173 [label="Exit do-whileloop"]; 173 [label="Exit do-while loop"];
} }
174 [label="Const: Int(1)"]; 174 [label="Const: Int(1)"];
175 [label="Exit block"]; 175 [label="Exit block"];
compiler/fir/analysis-tests/testData/resolve/cfg/postponedLambdaInConstructor.dot
Vendored
+4 -4
View File
@@ -31,25 +31,25 @@ digraph postponedLambdaInConstructor_kt {
8 [label="Postponed enter to lambda"]; 8 [label="Postponed enter to lambda"];
subgraph cluster_4 { subgraph cluster_4 {
color=blue color=blue
9 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 9 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_5 { subgraph cluster_5 {
color=blue color=blue
10 [label="Enter block"]; 10 [label="Enter block"];
11 [label="Exit anonymous function expression"]; 11 [label="Exit anonymous function expression"];
subgraph cluster_6 { subgraph cluster_6 {
color=blue color=blue
12 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 12 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_7 { subgraph cluster_7 {
color=blue color=blue
13 [label="Enter block"]; 13 [label="Enter block"];
14 [label="Access variable R|<local>/it|"]; 14 [label="Access variable R|<local>/it|"];
15 [label="Exit block"]; 15 [label="Exit block"];
} }
16 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 16 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
17 [label="Exit block"]; 17 [label="Exit block"];
} }
18 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 18 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
19 [label="Postponed exit from lambda"]; 19 [label="Postponed exit from lambda"];
20 [label="Function call: R|<local>/s|.R|kotlin/let|<R|kotlin/String|, R|() -> kotlin/String|>(...)" style="filled" fillcolor=yellow]; 20 [label="Function call: R|<local>/s|.R|kotlin/let|<R|kotlin/String|, R|() -> kotlin/String|>(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolve/cfg/postponedLambdaInReturn.dot
Vendored
+13 -13
View File
@@ -75,7 +75,7 @@ digraph postponedLambdaInReturn_kt {
24 [label="Postponed enter to lambda"]; 24 [label="Postponed enter to lambda"];
subgraph cluster_8 { subgraph cluster_8 {
color=blue color=blue
25 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 25 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_9 { subgraph cluster_9 {
color=blue color=blue
26 [label="Enter block"]; 26 [label="Enter block"];
@@ -110,7 +110,7 @@ digraph postponedLambdaInReturn_kt {
42 [label="Postponed enter to lambda"]; 42 [label="Postponed enter to lambda"];
subgraph cluster_15 { subgraph cluster_15 {
color=blue color=blue
43 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 43 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_16 { subgraph cluster_16 {
color=blue color=blue
44 [label="Enter block"]; 44 [label="Enter block"];
@@ -120,7 +120,7 @@ digraph postponedLambdaInReturn_kt {
48 [label="Assignment: R|SubstitutionOverride</Lateinit.value: R|kotlin/String|>|"]; 48 [label="Assignment: R|SubstitutionOverride</Lateinit.value: R|kotlin/String|>|"];
49 [label="Exit block"]; 49 [label="Exit block"];
} }
50 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 50 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
51 [label="Postponed exit from lambda"]; 51 [label="Postponed exit from lambda"];
52 [label="Function call: R|/build|<R|kotlin/String|>(...)" style="filled" fillcolor=yellow]; 52 [label="Function call: R|/build|<R|kotlin/String|>(...)" style="filled" fillcolor=yellow];
@@ -137,7 +137,7 @@ digraph postponedLambdaInReturn_kt {
} }
58 [label="Exit block" style="filled" fillcolor=gray]; 58 [label="Exit block" style="filled" fillcolor=gray];
} }
59 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 59 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
60 [label="Postponed exit from lambda"]; 60 [label="Postponed exit from lambda"];
61 [label="Function call: R|kotlin/run|<R|kotlin/String|>(...)" style="filled" fillcolor=yellow]; 61 [label="Function call: R|kotlin/run|<R|kotlin/String|>(...)" style="filled" fillcolor=yellow];
@@ -210,7 +210,7 @@ digraph postponedLambdaInReturn_kt {
69 [label="Postponed enter to lambda"]; 69 [label="Postponed enter to lambda"];
subgraph cluster_19 { subgraph cluster_19 {
color=blue color=blue
70 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 70 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_20 { subgraph cluster_20 {
color=blue color=blue
71 [label="Enter block"]; 71 [label="Enter block"];
@@ -241,7 +241,7 @@ digraph postponedLambdaInReturn_kt {
81 [label="Postponed enter to lambda"]; 81 [label="Postponed enter to lambda"];
subgraph cluster_28 { subgraph cluster_28 {
color=blue color=blue
82 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 82 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_29 { subgraph cluster_29 {
color=blue color=blue
83 [label="Enter block"]; 83 [label="Enter block"];
@@ -249,7 +249,7 @@ digraph postponedLambdaInReturn_kt {
85 [label="Assignment: R|SubstitutionOverride</Lateinit.value: R|kotlin/String|>|"]; 85 [label="Assignment: R|SubstitutionOverride</Lateinit.value: R|kotlin/String|>|"];
86 [label="Exit block"]; 86 [label="Exit block"];
} }
87 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 87 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
88 [label="Postponed exit from lambda"]; 88 [label="Postponed exit from lambda"];
89 [label="Function call: R|/build|<R|kotlin/String|>(...)" style="filled" fillcolor=yellow]; 89 [label="Function call: R|/build|<R|kotlin/String|>(...)" style="filled" fillcolor=yellow];
@@ -279,14 +279,14 @@ digraph postponedLambdaInReturn_kt {
} }
101 [label="Exit loop block"]; 101 [label="Exit loop block"];
} }
102 [label="Exit whileloop" style="filled" fillcolor=gray]; 102 [label="Exit while loop" style="filled" fillcolor=gray];
} }
103 [label="Function call: R|java/lang/Exception.Exception|()" style="filled" fillcolor=gray]; 103 [label="Function call: R|java/lang/Exception.Exception|()" style="filled" fillcolor=gray];
104 [label="Throw: throw R|java/lang/Exception.Exception|()" style="filled" fillcolor=gray]; 104 [label="Throw: throw R|java/lang/Exception.Exception|()" style="filled" fillcolor=gray];
105 [label="Stub" style="filled" fillcolor=gray]; 105 [label="Stub" style="filled" fillcolor=gray];
106 [label="Exit block" style="filled" fillcolor=gray]; 106 [label="Exit block" style="filled" fillcolor=gray];
} }
107 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 107 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
108 [label="Postponed exit from lambda"]; 108 [label="Postponed exit from lambda"];
109 [label="Function call: R|kotlin/run|<R|kotlin/String|>(...)" style="filled" fillcolor=yellow]; 109 [label="Function call: R|kotlin/run|<R|kotlin/String|>(...)" style="filled" fillcolor=yellow];
@@ -363,7 +363,7 @@ digraph postponedLambdaInReturn_kt {
120 [label="Postponed enter to lambda"]; 120 [label="Postponed enter to lambda"];
subgraph cluster_34 { subgraph cluster_34 {
color=blue color=blue
121 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 121 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_35 { subgraph cluster_35 {
color=blue color=blue
122 [label="Enter block"]; 122 [label="Enter block"];
@@ -399,7 +399,7 @@ digraph postponedLambdaInReturn_kt {
139 [label="Postponed enter to lambda"]; 139 [label="Postponed enter to lambda"];
subgraph cluster_41 { subgraph cluster_41 {
color=blue color=blue
140 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 140 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_42 { subgraph cluster_42 {
color=blue color=blue
141 [label="Enter block"]; 141 [label="Enter block"];
@@ -409,7 +409,7 @@ digraph postponedLambdaInReturn_kt {
145 [label="Assignment: R|SubstitutionOverride</Lateinit.value: R|kotlin/String|>|"]; 145 [label="Assignment: R|SubstitutionOverride</Lateinit.value: R|kotlin/String|>|"];
146 [label="Exit block"]; 146 [label="Exit block"];
} }
147 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 147 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
148 [label="Postponed exit from lambda"]; 148 [label="Postponed exit from lambda"];
149 [label="Function call: R|/build|<R|kotlin/String|>(...)" style="filled" fillcolor=yellow]; 149 [label="Function call: R|/build|<R|kotlin/String|>(...)" style="filled" fillcolor=yellow];
@@ -426,7 +426,7 @@ digraph postponedLambdaInReturn_kt {
} }
155 [label="Exit block" style="filled" fillcolor=gray]; 155 [label="Exit block" style="filled" fillcolor=gray];
} }
156 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 156 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
157 [label="Postponed exit from lambda"]; 157 [label="Postponed exit from lambda"];
158 [label="Function call: R|kotlin/run|<R|kotlin/String|>(...)" style="filled" fillcolor=yellow]; 158 [label="Function call: R|kotlin/run|<R|kotlin/String|>(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolve/cfg/postponedLambdas.dot
Vendored
+2 -2
View File
@@ -28,14 +28,14 @@ digraph postponedLambdas_kt {
8 [label="Postponed enter to lambda"]; 8 [label="Postponed enter to lambda"];
subgraph cluster_4 { subgraph cluster_4 {
color=blue color=blue
9 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 9 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_5 { subgraph cluster_5 {
color=blue color=blue
10 [label="Enter block"]; 10 [label="Enter block"];
11 [label="Const: String()"]; 11 [label="Const: String()"];
12 [label="Exit block"]; 12 [label="Exit block"];
} }
13 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 13 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
14 [label="Postponed exit from lambda"]; 14 [label="Postponed exit from lambda"];
15 [label="Function call: R|/foo|(...)" style="filled" fillcolor=yellow]; 15 [label="Function call: R|/foo|(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolve/cfg/propertiesAndInitBlocks.dot
Vendored
+11 -11
View File
@@ -30,7 +30,7 @@ digraph propertiesAndInitBlocks_kt {
subgraph cluster_3 { subgraph cluster_3 {
color=red color=red
8 [label="Enter function getter" style="filled" fillcolor=red]; 8 [label="Enter function <getter>" style="filled" fillcolor=red];
subgraph cluster_4 { subgraph cluster_4 {
color=blue color=blue
9 [label="Enter block"]; 9 [label="Enter block"];
@@ -39,7 +39,7 @@ digraph propertiesAndInitBlocks_kt {
12 [label="Stub" style="filled" fillcolor=gray]; 12 [label="Stub" style="filled" fillcolor=gray];
13 [label="Exit block" style="filled" fillcolor=gray]; 13 [label="Exit block" style="filled" fillcolor=gray];
} }
14 [label="Exit function getter" style="filled" fillcolor=red]; 14 [label="Exit function <getter>" style="filled" fillcolor=red];
} }
8 -> {9}; 8 -> {9};
9 -> {10}; 9 -> {10};
@@ -51,7 +51,7 @@ digraph propertiesAndInitBlocks_kt {
subgraph cluster_5 { subgraph cluster_5 {
color=red color=red
15 [label="Enter function setter" style="filled" fillcolor=red]; 15 [label="Enter function <setter>" style="filled" fillcolor=red];
subgraph cluster_6 { subgraph cluster_6 {
color=blue color=blue
16 [label="Enter block"]; 16 [label="Enter block"];
@@ -59,7 +59,7 @@ digraph propertiesAndInitBlocks_kt {
18 [label="Assignment: F|/x2|"]; 18 [label="Assignment: F|/x2|"];
19 [label="Exit block"]; 19 [label="Exit block"];
} }
20 [label="Exit function setter" style="filled" fillcolor=red]; 20 [label="Exit function <setter>" style="filled" fillcolor=red];
} }
15 -> {16}; 15 -> {16};
16 -> {17}; 16 -> {17};
@@ -78,14 +78,14 @@ digraph propertiesAndInitBlocks_kt {
subgraph cluster_8 { subgraph cluster_8 {
color=red color=red
24 [label="Enter function getter" style="filled" fillcolor=red]; 24 [label="Enter function <getter>" style="filled" fillcolor=red];
subgraph cluster_9 { subgraph cluster_9 {
color=blue color=blue
25 [label="Enter block"]; 25 [label="Enter block"];
26 [label="Exit local class <getter>"]; 26 [label="Local class declaration"];
27 [label="Exit block"]; 27 [label="Exit block"];
} }
28 [label="Exit function getter" style="filled" fillcolor=red]; 28 [label="Exit function <getter>" style="filled" fillcolor=red];
} }
subgraph cluster_10 { subgraph cluster_10 {
color=blue color=blue
@@ -137,18 +137,18 @@ digraph propertiesAndInitBlocks_kt {
42 [label="Postponed enter to lambda"]; 42 [label="Postponed enter to lambda"];
subgraph cluster_15 { subgraph cluster_15 {
color=blue color=blue
43 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 43 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_16 { subgraph cluster_16 {
color=blue color=blue
44 [label="Enter block"]; 44 [label="Enter block"];
45 [label="Local function declaration <anonymous>"]; 45 [label="Local function declaration"];
46 [label="Exit local class <anonymous>"]; 46 [label="Local class declaration"];
47 [label="Function call: R|java/lang/Exception.Exception|()" style="filled" fillcolor=yellow]; 47 [label="Function call: R|java/lang/Exception.Exception|()" style="filled" fillcolor=yellow];
48 [label="Throw: throw R|java/lang/Exception.Exception|()"]; 48 [label="Throw: throw R|java/lang/Exception.Exception|()"];
49 [label="Stub" style="filled" fillcolor=gray]; 49 [label="Stub" style="filled" fillcolor=gray];
50 [label="Exit block" style="filled" fillcolor=gray]; 50 [label="Exit block" style="filled" fillcolor=gray];
} }
51 [label="Exit function anonymousFunction" style="filled" fillcolor=gray]; 51 [label="Exit function <anonymous>" style="filled" fillcolor=gray];
} }
subgraph cluster_17 { subgraph cluster_17 {
color=blue color=blue
compiler/fir/analysis-tests/testData/resolve/cfg/returnValuesFromLambda.dot
Vendored
+6 -6
View File
@@ -55,7 +55,7 @@ digraph returnValuesFromLambda_kt {
14 [label="Postponed enter to lambda"]; 14 [label="Postponed enter to lambda"];
subgraph cluster_7 { subgraph cluster_7 {
color=blue color=blue
15 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 15 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_8 { subgraph cluster_8 {
color=blue color=blue
16 [label="Enter block"]; 16 [label="Enter block"];
@@ -84,7 +84,7 @@ digraph returnValuesFromLambda_kt {
30 [label="Function call: R|/C.C|()" style="filled" fillcolor=yellow]; 30 [label="Function call: R|/C.C|()" style="filled" fillcolor=yellow];
31 [label="Exit block"]; 31 [label="Exit block"];
} }
32 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 32 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
33 [label="Postponed exit from lambda"]; 33 [label="Postponed exit from lambda"];
34 [label="Function call: R|kotlin/run|<R|A|>(...)" style="filled" fillcolor=yellow]; 34 [label="Function call: R|kotlin/run|<R|A|>(...)" style="filled" fillcolor=yellow];
@@ -131,7 +131,7 @@ digraph returnValuesFromLambda_kt {
40 [label="Postponed enter to lambda"]; 40 [label="Postponed enter to lambda"];
subgraph cluster_14 { subgraph cluster_14 {
color=blue color=blue
41 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 41 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_15 { subgraph cluster_15 {
color=blue color=blue
42 [label="Enter block"]; 42 [label="Enter block"];
@@ -140,7 +140,7 @@ digraph returnValuesFromLambda_kt {
45 [label="Stub" style="filled" fillcolor=gray]; 45 [label="Stub" style="filled" fillcolor=gray];
46 [label="Exit block" style="filled" fillcolor=gray]; 46 [label="Exit block" style="filled" fillcolor=gray];
} }
47 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 47 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
48 [label="Postponed exit from lambda"]; 48 [label="Postponed exit from lambda"];
49 [label="Function call: R|kotlin/run|<R|C|>(...)" style="filled" fillcolor=yellow]; 49 [label="Function call: R|kotlin/run|<R|C|>(...)" style="filled" fillcolor=yellow];
@@ -176,7 +176,7 @@ digraph returnValuesFromLambda_kt {
55 [label="Postponed enter to lambda"]; 55 [label="Postponed enter to lambda"];
subgraph cluster_18 { subgraph cluster_18 {
color=blue color=blue
56 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 56 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_19 { subgraph cluster_19 {
color=blue color=blue
57 [label="Enter block"]; 57 [label="Enter block"];
@@ -184,7 +184,7 @@ digraph returnValuesFromLambda_kt {
59 [label="Stub" style="filled" fillcolor=gray]; 59 [label="Stub" style="filled" fillcolor=gray];
60 [label="Exit block" style="filled" fillcolor=gray]; 60 [label="Exit block" style="filled" fillcolor=gray];
} }
61 [label="Exit function anonymousFunction" style="filled" fillcolor=gray]; 61 [label="Exit function <anonymous>" style="filled" fillcolor=gray];
} }
62 [label="Postponed exit from lambda" style="filled" fillcolor=gray]; 62 [label="Postponed exit from lambda" style="filled" fillcolor=gray];
63 [label="Function call: R|kotlin/run|<R|kotlin/Nothing|>(...)" style="filled" fillcolor=gray]; 63 [label="Function call: R|kotlin/run|<R|kotlin/Nothing|>(...)" style="filled" fillcolor=gray];
compiler/fir/analysis-tests/testData/resolve/cfg/tryCatch.dot
Vendored
+1 -1
View File
@@ -252,7 +252,7 @@ digraph tryCatch_kt {
} }
102 [label="Exit loop block"]; 102 [label="Exit loop block"];
} }
103 [label="Exit whileloop"]; 103 [label="Exit while loop"];
} }
104 [label="Const: Int(3)"]; 104 [label="Const: Int(3)"];
105 [label="Variable declaration: lval z: R|kotlin/Int|"]; 105 [label="Variable declaration: lval z: R|kotlin/Int|"];
compiler/fir/analysis-tests/testData/resolve/classCallInLambda.dot
Vendored
+2 -2
View File
@@ -13,7 +13,7 @@ digraph classCallInLambda_kt {
3 [label="Postponed enter to lambda"]; 3 [label="Postponed enter to lambda"];
subgraph cluster_2 { subgraph cluster_2 {
color=blue color=blue
4 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 4 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_3 { subgraph cluster_3 {
color=blue color=blue
5 [label="Enter block"]; 5 [label="Enter block"];
@@ -21,7 +21,7 @@ digraph classCallInLambda_kt {
7 [label="::class call"]; 7 [label="::class call"];
8 [label="Exit block"]; 8 [label="Exit block"];
} }
9 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 9 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
10 [label="Postponed exit from lambda"]; 10 [label="Postponed exit from lambda"];
11 [label="Function call: R|<local>/x|.R|kotlin/let|<R|kotlin/String|, R|kotlin/reflect/KClass<out kotlin/String>|>(...)" style="filled" fillcolor=yellow]; 11 [label="Function call: R|<local>/x|.R|kotlin/let|<R|kotlin/String|, R|kotlin/reflect/KClass<out kotlin/String>|>(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolve/smartcasts/boundSmartcasts/boundSmartcastsInBranches.dot
Vendored
+1 -1
View File
@@ -95,7 +95,7 @@ digraph boundSmartcastsInBranches_kt {
} }
46 [label="Exit loop block"]; 46 [label="Exit loop block"];
} }
47 [label="Exit whileloop"]; 47 [label="Exit while loop"];
} }
48 [label="Exit block"]; 48 [label="Exit block"];
} }
compiler/fir/analysis-tests/testData/resolve/smartcasts/controlStructures/returns.dot
Vendored
+4 -4
View File
@@ -429,7 +429,7 @@ digraph returns_kt {
subgraph cluster_38 { subgraph cluster_38 {
color=red color=red
152 [label="Enter function getter" style="filled" fillcolor=red]; 152 [label="Enter function <getter>" style="filled" fillcolor=red];
subgraph cluster_39 { subgraph cluster_39 {
color=blue color=blue
153 [label="Enter block"]; 153 [label="Enter block"];
@@ -438,7 +438,7 @@ digraph returns_kt {
156 [label="Stub" style="filled" fillcolor=gray]; 156 [label="Stub" style="filled" fillcolor=gray];
157 [label="Exit block" style="filled" fillcolor=gray]; 157 [label="Exit block" style="filled" fillcolor=gray];
} }
158 [label="Exit function getter" style="filled" fillcolor=red]; 158 [label="Exit function <getter>" style="filled" fillcolor=red];
} }
152 -> {153}; 152 -> {153};
153 -> {154}; 153 -> {154};
@@ -471,7 +471,7 @@ digraph returns_kt {
175 [label="Postponed enter to lambda"]; 175 [label="Postponed enter to lambda"];
subgraph cluster_42 { subgraph cluster_42 {
color=blue color=blue
176 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 176 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_43 { subgraph cluster_43 {
color=blue color=blue
177 [label="Enter block"]; 177 [label="Enter block"];
@@ -480,7 +480,7 @@ digraph returns_kt {
180 [label="Access variable R|kotlin/String.length|"]; 180 [label="Access variable R|kotlin/String.length|"];
181 [label="Exit block"]; 181 [label="Exit block"];
} }
182 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 182 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
183 [label="Postponed exit from lambda"]; 183 [label="Postponed exit from lambda"];
184 [label="Function call: R|/runHigherOrder|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 184 [label="Function call: R|/runHigherOrder|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolve/smartcasts/incorrectSmartcastToNothing.dot
Vendored
+2 -2
View File
@@ -71,7 +71,7 @@ digraph incorrectSmartcastToNothing_kt {
35 [label="Postponed enter to lambda"]; 35 [label="Postponed enter to lambda"];
subgraph cluster_10 { subgraph cluster_10 {
color=blue color=blue
36 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 36 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_11 { subgraph cluster_11 {
color=blue color=blue
37 [label="Enter block"]; 37 [label="Enter block"];
@@ -80,7 +80,7 @@ digraph incorrectSmartcastToNothing_kt {
40 [label="Function call: R|java/io/File.File|(...)" style="filled" fillcolor=yellow]; 40 [label="Function call: R|java/io/File.File|(...)" style="filled" fillcolor=yellow];
41 [label="Exit block"]; 41 [label="Exit block"];
} }
42 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 42 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
43 [label="Postponed exit from lambda"]; 43 [label="Postponed exit from lambda"];
44 [label="Function call: $subj$.R|kotlin/let|<R|java/io/File|, R|java/io/File|>(...)" style="filled" fillcolor=yellow]; 44 [label="Function call: $subj$.R|kotlin/let|<R|java/io/File|, R|java/io/File|>(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolve/smartcasts/lambdas/inPlaceLambdas.dot
Vendored
+6 -6
View File
@@ -57,7 +57,7 @@ digraph inPlaceLambdas_kt {
18 [label="Postponed enter to lambda"]; 18 [label="Postponed enter to lambda"];
subgraph cluster_9 { subgraph cluster_9 {
color=blue color=blue
19 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 19 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_10 { subgraph cluster_10 {
color=blue color=blue
20 [label="Enter block"]; 20 [label="Enter block"];
@@ -66,7 +66,7 @@ digraph inPlaceLambdas_kt {
23 [label="Function call: R|<local>/x|.R|/A.foo|()" style="filled" fillcolor=yellow]; 23 [label="Function call: R|<local>/x|.R|/A.foo|()" style="filled" fillcolor=yellow];
24 [label="Exit block"]; 24 [label="Exit block"];
} }
25 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 25 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
26 [label="Postponed exit from lambda"]; 26 [label="Postponed exit from lambda"];
27 [label="Function call: R|kotlin/run|<R|kotlin/Unit|>(...)" style="filled" fillcolor=yellow]; 27 [label="Function call: R|kotlin/run|<R|kotlin/Unit|>(...)" style="filled" fillcolor=yellow];
@@ -115,7 +115,7 @@ digraph inPlaceLambdas_kt {
35 [label="Postponed enter to lambda"]; 35 [label="Postponed enter to lambda"];
subgraph cluster_13 { subgraph cluster_13 {
color=blue color=blue
36 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 36 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_14 { subgraph cluster_14 {
color=blue color=blue
37 [label="Enter block"]; 37 [label="Enter block"];
@@ -123,7 +123,7 @@ digraph inPlaceLambdas_kt {
39 [label="Type operator: (R|<local>/x| as R|B|)"]; 39 [label="Type operator: (R|<local>/x| as R|B|)"];
40 [label="Exit block"]; 40 [label="Exit block"];
} }
41 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 41 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
42 [label="Postponed exit from lambda"]; 42 [label="Postponed exit from lambda"];
43 [label="Function call: R|kotlin/run|<R|B|>(...)" style="filled" fillcolor=yellow]; 43 [label="Function call: R|kotlin/run|<R|B|>(...)" style="filled" fillcolor=yellow];
@@ -176,7 +176,7 @@ digraph inPlaceLambdas_kt {
59 [label="Postponed enter to lambda"]; 59 [label="Postponed enter to lambda"];
subgraph cluster_20 { subgraph cluster_20 {
color=blue color=blue
60 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 60 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_21 { subgraph cluster_21 {
color=blue color=blue
61 [label="Enter block"]; 61 [label="Enter block"];
@@ -188,7 +188,7 @@ digraph inPlaceLambdas_kt {
67 [label="Type operator: (R|<local>/x| as R|B|)"]; 67 [label="Type operator: (R|<local>/x| as R|B|)"];
68 [label="Exit block"]; 68 [label="Exit block"];
} }
69 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 69 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
70 [label="Postponed exit from lambda"]; 70 [label="Postponed exit from lambda"];
71 [label="Function call: R|kotlin/run|<R|B|>(...)" style="filled" fillcolor=yellow]; 71 [label="Function call: R|kotlin/run|<R|B|>(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolve/smartcasts/lambdas/lambdaInWhenBranch.dot
Vendored
+2 -2
View File
@@ -142,14 +142,14 @@ digraph lambdaInWhenBranch_kt {
49 [label="Postponed enter to lambda"]; 49 [label="Postponed enter to lambda"];
subgraph cluster_18 { subgraph cluster_18 {
color=blue color=blue
50 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 50 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_19 { subgraph cluster_19 {
color=blue color=blue
51 [label="Enter block"]; 51 [label="Enter block"];
52 [label="Access variable R|<local>/it|"]; 52 [label="Access variable R|<local>/it|"];
53 [label="Exit block"]; 53 [label="Exit block"];
} }
54 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 54 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
55 [label="Postponed exit from lambda"]; 55 [label="Postponed exit from lambda"];
56 [label="Function call: String().R|kotlin/let|<R|kotlin/String|, R|kotlin/String|>(...)" style="filled" fillcolor=yellow]; 56 [label="Function call: String().R|kotlin/let|<R|kotlin/String|, R|kotlin/String|>(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolve/smartcasts/loops/dataFlowInfoFromWhileCondition.dot
Vendored
+1 -1
View File
@@ -72,7 +72,7 @@ digraph dataFlowInfoFromWhileCondition_kt {
} }
29 [label="Exit loop block"]; 29 [label="Exit loop block"];
} }
30 [label="Exit whileloop"]; 30 [label="Exit while loop"];
} }
31 [label="Exit block"]; 31 [label="Exit block"];
} }
compiler/fir/analysis-tests/testData/resolve/smartcasts/loops/endlessLoops.dot
Vendored
+7 -7
View File
@@ -66,7 +66,7 @@ digraph endlessLoops_kt {
} }
27 [label="Exit loop block"]; 27 [label="Exit loop block"];
} }
28 [label="Exit whileloop"]; 28 [label="Exit while loop"];
} }
29 [label="Access variable R|<local>/x|"]; 29 [label="Access variable R|<local>/x|"];
30 [label="Smart cast: R|<local>/x|"]; 30 [label="Smart cast: R|<local>/x|"];
@@ -155,7 +155,7 @@ digraph endlessLoops_kt {
} }
57 [label="Exit loop block"]; 57 [label="Exit loop block"];
} }
58 [label="Exit whileloop"]; 58 [label="Exit while loop"];
} }
59 [label="Access variable R|<local>/x|"]; 59 [label="Access variable R|<local>/x|"];
60 [label="Smart cast: R|<local>/x|"]; 60 [label="Smart cast: R|<local>/x|"];
@@ -265,7 +265,7 @@ digraph endlessLoops_kt {
} }
99 [label="Exit loop block"]; 99 [label="Exit loop block"];
} }
100 [label="Exit whileloop"]; 100 [label="Exit while loop"];
} }
101 [label="Access variable R|<local>/x|"]; 101 [label="Access variable R|<local>/x|"];
102 [label="Smart cast: R|<local>/x|"]; 102 [label="Smart cast: R|<local>/x|"];
@@ -369,7 +369,7 @@ digraph endlessLoops_kt {
} }
131 [label="Exit loop block" style="filled" fillcolor=gray]; 131 [label="Exit loop block" style="filled" fillcolor=gray];
} }
132 [label="Exit whileloop"]; 132 [label="Exit while loop"];
} }
133 [label="Access variable R|<local>/x|"]; 133 [label="Access variable R|<local>/x|"];
134 [label="Function call: R|<local>/x|.<Unresolved name: foo>#()" style="filled" fillcolor=yellow]; 134 [label="Function call: R|<local>/x|.<Unresolved name: foo>#()" style="filled" fillcolor=yellow];
@@ -459,7 +459,7 @@ digraph endlessLoops_kt {
159 [label="Const: Boolean(true)"]; 159 [label="Const: Boolean(true)"];
160 [label="Exit loop condition"]; 160 [label="Exit loop condition"];
} }
161 [label="Exit do-whileloop"]; 161 [label="Exit do-while loop"];
} }
162 [label="Access variable R|<local>/x|"]; 162 [label="Access variable R|<local>/x|"];
163 [label="Smart cast: R|<local>/x|"]; 163 [label="Smart cast: R|<local>/x|"];
@@ -548,7 +548,7 @@ digraph endlessLoops_kt {
189 [label="Const: Boolean(true)"]; 189 [label="Const: Boolean(true)"];
190 [label="Exit loop condition"]; 190 [label="Exit loop condition"];
} }
191 [label="Exit do-whileloop"]; 191 [label="Exit do-while loop"];
} }
192 [label="Access variable R|<local>/x|"]; 192 [label="Access variable R|<local>/x|"];
193 [label="Smart cast: R|<local>/x|"]; 193 [label="Smart cast: R|<local>/x|"];
@@ -616,7 +616,7 @@ digraph endlessLoops_kt {
207 [label="Const: Boolean(true)"]; 207 [label="Const: Boolean(true)"];
208 [label="Exit loop condition"]; 208 [label="Exit loop condition"];
} }
209 [label="Exit do-whileloop" style="filled" fillcolor=gray]; 209 [label="Exit do-while loop" style="filled" fillcolor=gray];
} }
210 [label="Access variable R|<local>/x|" style="filled" fillcolor=gray]; 210 [label="Access variable R|<local>/x|" style="filled" fillcolor=gray];
211 [label="Smart cast: R|<local>/x|" style="filled" fillcolor=gray]; 211 [label="Smart cast: R|<local>/x|" style="filled" fillcolor=gray];
compiler/fir/analysis-tests/testData/resolve/smartcasts/nullability.dot
Vendored
+2 -2
View File
@@ -178,7 +178,7 @@ digraph nullability_kt {
} }
subgraph cluster_21 { subgraph cluster_21 {
color=blue color=blue
56 [label="Enter function getter" style="filled" fillcolor=red]; 56 [label="Enter function <getter>" style="filled" fillcolor=red];
subgraph cluster_22 { subgraph cluster_22 {
color=blue color=blue
57 [label="Enter block"]; 57 [label="Enter block"];
@@ -187,7 +187,7 @@ digraph nullability_kt {
60 [label="Stub" style="filled" fillcolor=gray]; 60 [label="Stub" style="filled" fillcolor=gray];
61 [label="Exit block" style="filled" fillcolor=gray]; 61 [label="Exit block" style="filled" fillcolor=gray];
} }
62 [label="Exit function getter" style="filled" fillcolor=red]; 62 [label="Exit function <getter>" style="filled" fillcolor=red];
} }
44 -> {45} [color=green]; 44 -> {45} [color=green];
44 -> {48} [style=dotted]; 44 -> {48} [style=dotted];
compiler/fir/analysis-tests/testData/resolve/smartcasts/receivers/implicitReceivers.dot
Vendored
+6 -6
View File
@@ -255,7 +255,7 @@ digraph implicitReceivers_kt {
85 [label="Postponed enter to lambda"]; 85 [label="Postponed enter to lambda"];
subgraph cluster_26 { subgraph cluster_26 {
color=blue color=blue
86 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 86 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_27 { subgraph cluster_27 {
color=blue color=blue
87 [label="Enter block"]; 87 [label="Enter block"];
@@ -263,7 +263,7 @@ digraph implicitReceivers_kt {
89 [label="Postponed enter to lambda"]; 89 [label="Postponed enter to lambda"];
subgraph cluster_28 { subgraph cluster_28 {
color=blue color=blue
90 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 90 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_29 { subgraph cluster_29 {
color=blue color=blue
91 [label="Enter block"]; 91 [label="Enter block"];
@@ -271,7 +271,7 @@ digraph implicitReceivers_kt {
93 [label="Postponed enter to lambda"]; 93 [label="Postponed enter to lambda"];
subgraph cluster_30 { subgraph cluster_30 {
color=blue color=blue
94 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 94 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_31 { subgraph cluster_31 {
color=blue color=blue
95 [label="Enter block"]; 95 [label="Enter block"];
@@ -283,7 +283,7 @@ digraph implicitReceivers_kt {
101 [label="Function call: this@R|special/anonymous|.R|/A.foo|()" style="filled" fillcolor=yellow]; 101 [label="Function call: this@R|special/anonymous|.R|/A.foo|()" style="filled" fillcolor=yellow];
102 [label="Exit block"]; 102 [label="Exit block"];
} }
103 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 103 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
104 [label="Postponed exit from lambda"]; 104 [label="Postponed exit from lambda"];
105 [label="Function call: R|kotlin/with|<R|kotlin/Any|, R|kotlin/Unit|>(...)" style="filled" fillcolor=yellow]; 105 [label="Function call: R|kotlin/with|<R|kotlin/Any|, R|kotlin/Unit|>(...)" style="filled" fillcolor=yellow];
@@ -293,13 +293,13 @@ digraph implicitReceivers_kt {
109 [label="Function call: this@R|special/anonymous|.R|/A.foo|()" style="filled" fillcolor=yellow]; 109 [label="Function call: this@R|special/anonymous|.R|/A.foo|()" style="filled" fillcolor=yellow];
110 [label="Exit block"]; 110 [label="Exit block"];
} }
111 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 111 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
112 [label="Postponed exit from lambda"]; 112 [label="Postponed exit from lambda"];
113 [label="Function call: R|kotlin/with|<R|kotlin/Any|, R|kotlin/Unit|>(...)" style="filled" fillcolor=yellow]; 113 [label="Function call: R|kotlin/with|<R|kotlin/Any|, R|kotlin/Unit|>(...)" style="filled" fillcolor=yellow];
114 [label="Exit block"]; 114 [label="Exit block"];
} }
115 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 115 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
116 [label="Postponed exit from lambda"]; 116 [label="Postponed exit from lambda"];
117 [label="Function call: R|kotlin/with|<R|kotlin/Any|, R|kotlin/Unit|>(...)" style="filled" fillcolor=yellow]; 117 [label="Function call: R|kotlin/with|<R|kotlin/Any|, R|kotlin/Unit|>(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolve/smartcasts/receivers/thisOfExtensionProperty.dot
Vendored
+4 -4
View File
@@ -19,7 +19,7 @@ digraph thisOfExtensionProperty_kt {
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
4 [label="Enter function getter" style="filled" fillcolor=red]; 4 [label="Enter function <getter>" style="filled" fillcolor=red];
subgraph cluster_3 { subgraph cluster_3 {
color=blue color=blue
5 [label="Enter block"]; 5 [label="Enter block"];
@@ -37,7 +37,7 @@ digraph thisOfExtensionProperty_kt {
14 [label="Stub" style="filled" fillcolor=gray]; 14 [label="Stub" style="filled" fillcolor=gray];
15 [label="Exit block" style="filled" fillcolor=gray]; 15 [label="Exit block" style="filled" fillcolor=gray];
} }
16 [label="Exit function getter" style="filled" fillcolor=red]; 16 [label="Exit function <getter>" style="filled" fillcolor=red];
} }
4 -> {5}; 4 -> {5};
5 -> {6}; 5 -> {6};
@@ -55,7 +55,7 @@ digraph thisOfExtensionProperty_kt {
subgraph cluster_5 { subgraph cluster_5 {
color=red color=red
17 [label="Enter function getter" style="filled" fillcolor=red]; 17 [label="Enter function <getter>" style="filled" fillcolor=red];
subgraph cluster_6 { subgraph cluster_6 {
color=blue color=blue
18 [label="Enter block"]; 18 [label="Enter block"];
@@ -75,7 +75,7 @@ digraph thisOfExtensionProperty_kt {
29 [label="Stub" style="filled" fillcolor=gray]; 29 [label="Stub" style="filled" fillcolor=gray];
30 [label="Exit block" style="filled" fillcolor=gray]; 30 [label="Exit block" style="filled" fillcolor=gray];
} }
31 [label="Exit function getter" style="filled" fillcolor=red]; 31 [label="Exit function <getter>" style="filled" fillcolor=red];
} }
17 -> {18}; 17 -> {18};
18 -> {19}; 18 -> {19};
compiler/fir/analysis-tests/testData/resolve/smartcasts/safeCalls/safeCalls.dot
Vendored
+4 -4
View File
@@ -150,7 +150,7 @@ digraph safeCalls_kt {
59 [label="Postponed enter to lambda"]; 59 [label="Postponed enter to lambda"];
subgraph cluster_14 { subgraph cluster_14 {
color=blue color=blue
60 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 60 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_15 { subgraph cluster_15 {
color=blue color=blue
61 [label="Enter block"]; 61 [label="Enter block"];
@@ -159,7 +159,7 @@ digraph safeCalls_kt {
64 [label="Function call: R|<local>/x|.R|/A.bool|()" style="filled" fillcolor=yellow]; 64 [label="Function call: R|<local>/x|.R|/A.bool|()" style="filled" fillcolor=yellow];
65 [label="Exit block"]; 65 [label="Exit block"];
} }
66 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 66 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
67 [label="Postponed exit from lambda"]; 67 [label="Postponed exit from lambda"];
68 [label="Function call: $subj$.R|/let|(...)" style="filled" fillcolor=yellow]; 68 [label="Function call: $subj$.R|/let|(...)" style="filled" fillcolor=yellow];
@@ -260,7 +260,7 @@ digraph safeCalls_kt {
97 [label="Postponed enter to lambda"]; 97 [label="Postponed enter to lambda"];
subgraph cluster_22 { subgraph cluster_22 {
color=blue color=blue
98 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 98 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_23 { subgraph cluster_23 {
color=blue color=blue
99 [label="Enter block"]; 99 [label="Enter block"];
@@ -268,7 +268,7 @@ digraph safeCalls_kt {
101 [label="Stub" style="filled" fillcolor=gray]; 101 [label="Stub" style="filled" fillcolor=gray];
102 [label="Exit block" style="filled" fillcolor=gray]; 102 [label="Exit block" style="filled" fillcolor=gray];
} }
103 [label="Exit function anonymousFunction" style="filled" fillcolor=gray]; 103 [label="Exit function <anonymous>" style="filled" fillcolor=gray];
} }
104 [label="Postponed exit from lambda" style="filled" fillcolor=gray]; 104 [label="Postponed exit from lambda" style="filled" fillcolor=gray];
105 [label="Function call: $subj$.R|kotlin/let|<R|A|, R|kotlin/Nothing|>(...)" style="filled" fillcolor=gray]; 105 [label="Function call: $subj$.R|kotlin/let|<R|A|, R|kotlin/Nothing|>(...)" style="filled" fillcolor=gray];
compiler/fir/analysis-tests/testData/resolve/smartcasts/smartcastToNothing.dot
Vendored
+7 -7
View File
@@ -50,7 +50,7 @@ digraph smartcastToNothing_kt {
subgraph cluster_4 { subgraph cluster_4 {
color=red color=red
16 [label="Enter function getter" style="filled" fillcolor=red]; 16 [label="Enter function <getter>" style="filled" fillcolor=red];
subgraph cluster_5 { subgraph cluster_5 {
color=blue color=blue
17 [label="Enter block"]; 17 [label="Enter block"];
@@ -59,7 +59,7 @@ digraph smartcastToNothing_kt {
20 [label="Stub" style="filled" fillcolor=gray]; 20 [label="Stub" style="filled" fillcolor=gray];
21 [label="Exit block" style="filled" fillcolor=gray]; 21 [label="Exit block" style="filled" fillcolor=gray];
} }
22 [label="Exit function getter" style="filled" fillcolor=red]; 22 [label="Exit function <getter>" style="filled" fillcolor=red];
} }
16 -> {17}; 16 -> {17};
17 -> {18}; 17 -> {18};
@@ -71,7 +71,7 @@ digraph smartcastToNothing_kt {
subgraph cluster_6 { subgraph cluster_6 {
color=red color=red
23 [label="Enter function getter" style="filled" fillcolor=red]; 23 [label="Enter function <getter>" style="filled" fillcolor=red];
subgraph cluster_7 { subgraph cluster_7 {
color=blue color=blue
24 [label="Enter block"]; 24 [label="Enter block"];
@@ -80,7 +80,7 @@ digraph smartcastToNothing_kt {
27 [label="Stub" style="filled" fillcolor=gray]; 27 [label="Stub" style="filled" fillcolor=gray];
28 [label="Exit block" style="filled" fillcolor=gray]; 28 [label="Exit block" style="filled" fillcolor=gray];
} }
29 [label="Exit function getter" style="filled" fillcolor=red]; 29 [label="Exit function <getter>" style="filled" fillcolor=red];
} }
23 -> {24}; 23 -> {24};
24 -> {25}; 24 -> {25};
@@ -214,7 +214,7 @@ digraph smartcastToNothing_kt {
} }
87 [label="Exit loop block" style="filled" fillcolor=gray]; 87 [label="Exit loop block" style="filled" fillcolor=gray];
} }
88 [label="Exit whileloop"]; 88 [label="Exit while loop"];
} }
89 [label="Exit block"]; 89 [label="Exit block"];
} }
@@ -223,7 +223,7 @@ digraph smartcastToNothing_kt {
92 [label="Postponed enter to lambda"]; 92 [label="Postponed enter to lambda"];
subgraph cluster_24 { subgraph cluster_24 {
color=blue color=blue
93 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 93 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_25 { subgraph cluster_25 {
color=blue color=blue
94 [label="Enter block"]; 94 [label="Enter block"];
@@ -231,7 +231,7 @@ digraph smartcastToNothing_kt {
96 [label="Access variable R|/A.a|"]; 96 [label="Access variable R|/A.a|"];
97 [label="Exit block"]; 97 [label="Exit block"];
} }
98 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 98 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
99 [label="Postponed exit from lambda"]; 99 [label="Postponed exit from lambda"];
100 [label="Function call: $subj$.R|kotlin/let|<R|A|, R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 100 [label="Function call: $subj$.R|kotlin/let|<R|A|, R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolveWithStdlib/complexPostponedCfg.dot
Vendored
+6 -6
View File
@@ -29,14 +29,14 @@ digraph complexPostponedCfg_kt {
9 [label="Postponed enter to lambda"]; 9 [label="Postponed enter to lambda"];
subgraph cluster_4 { subgraph cluster_4 {
color=blue color=blue
10 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 10 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_5 { subgraph cluster_5 {
color=blue color=blue
11 [label="Enter block"]; 11 [label="Enter block"];
12 [label="Postponed enter to lambda"]; 12 [label="Postponed enter to lambda"];
subgraph cluster_6 { subgraph cluster_6 {
color=blue color=blue
13 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 13 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_7 { subgraph cluster_7 {
color=blue color=blue
14 [label="Enter block"]; 14 [label="Enter block"];
@@ -48,7 +48,7 @@ digraph complexPostponedCfg_kt {
20 [label="Postponed enter to lambda"]; 20 [label="Postponed enter to lambda"];
subgraph cluster_8 { subgraph cluster_8 {
color=blue color=blue
21 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 21 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_9 { subgraph cluster_9 {
color=blue color=blue
22 [label="Enter block"]; 22 [label="Enter block"];
@@ -59,19 +59,19 @@ digraph complexPostponedCfg_kt {
27 [label="Function call: this@R|special/anonymous|.R|SubstitutionOverride<kotlin/collections/MutableList.add: R|kotlin/Boolean|>|(...)" style="filled" fillcolor=yellow]; 27 [label="Function call: this@R|special/anonymous|.R|SubstitutionOverride<kotlin/collections/MutableList.add: R|kotlin/Boolean|>|(...)" style="filled" fillcolor=yellow];
28 [label="Exit block"]; 28 [label="Exit block"];
} }
29 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 29 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
30 [label="Postponed exit from lambda"]; 30 [label="Postponed exit from lambda"];
31 [label="Function call: R|kotlin/with|<R|FirFunctionCall|, R|kotlin/Unit|>(...)" style="filled" fillcolor=yellow]; 31 [label="Function call: R|kotlin/with|<R|FirFunctionCall|, R|kotlin/Unit|>(...)" style="filled" fillcolor=yellow];
32 [label="Exit block"]; 32 [label="Exit block"];
} }
33 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 33 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
34 [label="Postponed exit from lambda"]; 34 [label="Postponed exit from lambda"];
35 [label="Function call: R|kotlin/collections/buildList|<R|FirFunctionCall|>(...)" style="filled" fillcolor=yellow]; 35 [label="Function call: R|kotlin/collections/buildList|<R|FirFunctionCall|>(...)" style="filled" fillcolor=yellow];
36 [label="Exit block"]; 36 [label="Exit block"];
} }
37 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 37 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
38 [label="Postponed exit from lambda"]; 38 [label="Postponed exit from lambda"];
39 [label="Function call: R|kotlin/with|<R|FirFunctionCall|, R|kotlin/collections/List<FirFunctionCall>|>(...)" style="filled" fillcolor=yellow]; 39 [label="Function call: R|kotlin/with|<R|FirFunctionCall|, R|kotlin/collections/List<FirFunctionCall>|>(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromLibrary/callsInPlace.dot
Vendored
+20 -20
View File
@@ -13,7 +13,7 @@ digraph callsInPlace_kt {
3 [label="Postponed enter to lambda"]; 3 [label="Postponed enter to lambda"];
subgraph cluster_2 { subgraph cluster_2 {
color=blue color=blue
4 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 4 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_3 { subgraph cluster_3 {
color=blue color=blue
5 [label="Enter block"]; 5 [label="Enter block"];
@@ -21,7 +21,7 @@ digraph callsInPlace_kt {
7 [label="Assignment: R|<local>/x|"]; 7 [label="Assignment: R|<local>/x|"];
8 [label="Exit block"]; 8 [label="Exit block"];
} }
9 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 9 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
10 [label="Postponed exit from lambda"]; 10 [label="Postponed exit from lambda"];
11 [label="Function call: R|kotlin/run|<R|kotlin/Unit|>(...)" style="filled" fillcolor=yellow]; 11 [label="Function call: R|kotlin/run|<R|kotlin/Unit|>(...)" style="filled" fillcolor=yellow];
@@ -59,14 +59,14 @@ digraph callsInPlace_kt {
19 [label="Postponed enter to lambda"]; 19 [label="Postponed enter to lambda"];
subgraph cluster_6 { subgraph cluster_6 {
color=blue color=blue
20 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 20 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_7 { subgraph cluster_7 {
color=blue color=blue
21 [label="Enter block"]; 21 [label="Enter block"];
22 [label="Const: String(test_2)"]; 22 [label="Const: String(test_2)"];
23 [label="Exit block"]; 23 [label="Exit block"];
} }
24 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 24 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
25 [label="Postponed exit from lambda"]; 25 [label="Postponed exit from lambda"];
26 [label="Function call: R|kotlin/repeat|(...)" style="filled" fillcolor=yellow]; 26 [label="Function call: R|kotlin/repeat|(...)" style="filled" fillcolor=yellow];
@@ -99,14 +99,14 @@ digraph callsInPlace_kt {
32 [label="Postponed enter to lambda"]; 32 [label="Postponed enter to lambda"];
subgraph cluster_10 { subgraph cluster_10 {
color=blue color=blue
33 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 33 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_11 { subgraph cluster_11 {
color=blue color=blue
34 [label="Enter block"]; 34 [label="Enter block"];
35 [label="Const: String(test_3)"]; 35 [label="Const: String(test_3)"];
36 [label="Exit block"]; 36 [label="Exit block"];
} }
37 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 37 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
38 [label="Postponed exit from lambda"]; 38 [label="Postponed exit from lambda"];
39 [label="Function call: R|kotlin/repeat|(...)" style="filled" fillcolor=yellow]; 39 [label="Function call: R|kotlin/repeat|(...)" style="filled" fillcolor=yellow];
@@ -139,7 +139,7 @@ digraph callsInPlace_kt {
45 [label="Postponed enter to lambda"]; 45 [label="Postponed enter to lambda"];
subgraph cluster_14 { subgraph cluster_14 {
color=blue color=blue
46 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 46 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_15 { subgraph cluster_15 {
color=blue color=blue
47 [label="Enter block"]; 47 [label="Enter block"];
@@ -150,7 +150,7 @@ digraph callsInPlace_kt {
52 [label="Comparison >"]; 52 [label="Comparison >"];
53 [label="Exit block"]; 53 [label="Exit block"];
} }
54 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 54 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
55 [label="Postponed exit from lambda"]; 55 [label="Postponed exit from lambda"];
56 [label="Function call: Int(1).R|kotlin/takeUnless|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 56 [label="Function call: Int(1).R|kotlin/takeUnless|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -187,7 +187,7 @@ digraph callsInPlace_kt {
62 [label="Postponed enter to lambda"]; 62 [label="Postponed enter to lambda"];
subgraph cluster_18 { subgraph cluster_18 {
color=blue color=blue
63 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 63 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_19 { subgraph cluster_19 {
color=blue color=blue
64 [label="Enter block"]; 64 [label="Enter block"];
@@ -198,7 +198,7 @@ digraph callsInPlace_kt {
69 [label="Comparison >"]; 69 [label="Comparison >"];
70 [label="Exit block"]; 70 [label="Exit block"];
} }
71 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 71 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
72 [label="Postponed exit from lambda"]; 72 [label="Postponed exit from lambda"];
73 [label="Function call: Int(1).R|kotlin/takeUnless|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow]; 73 [label="Function call: Int(1).R|kotlin/takeUnless|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
@@ -252,25 +252,25 @@ digraph callsInPlace_kt {
84 [label="Postponed enter to lambda"]; 84 [label="Postponed enter to lambda"];
subgraph cluster_24 { subgraph cluster_24 {
color=blue color=blue
85 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 85 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_25 { subgraph cluster_25 {
color=blue color=blue
86 [label="Enter block"]; 86 [label="Enter block"];
87 [label="Const: String(test_6_2)"]; 87 [label="Const: String(test_6_2)"];
88 [label="Exit block"]; 88 [label="Exit block"];
} }
89 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 89 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
subgraph cluster_26 { subgraph cluster_26 {
color=blue color=blue
90 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 90 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_27 { subgraph cluster_27 {
color=blue color=blue
91 [label="Enter block"]; 91 [label="Enter block"];
92 [label="Const: String(test_6_1)"]; 92 [label="Const: String(test_6_1)"];
93 [label="Exit block"]; 93 [label="Exit block"];
} }
94 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 94 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
95 [label="Postponed exit from lambda"]; 95 [label="Postponed exit from lambda"];
96 [label="Postponed exit from lambda"]; 96 [label="Postponed exit from lambda"];
@@ -309,25 +309,25 @@ digraph callsInPlace_kt {
102 [label="Postponed enter to lambda"]; 102 [label="Postponed enter to lambda"];
subgraph cluster_30 { subgraph cluster_30 {
color=blue color=blue
103 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 103 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_31 { subgraph cluster_31 {
color=blue color=blue
104 [label="Enter block"]; 104 [label="Enter block"];
105 [label="Const: String(test_7_1)"]; 105 [label="Const: String(test_7_1)"];
106 [label="Exit block"]; 106 [label="Exit block"];
} }
107 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 107 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
subgraph cluster_32 { subgraph cluster_32 {
color=blue color=blue
108 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 108 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_33 { subgraph cluster_33 {
color=blue color=blue
109 [label="Enter block"]; 109 [label="Enter block"];
110 [label="Const: String(test_7_2)"]; 110 [label="Const: String(test_7_2)"];
111 [label="Exit block"]; 111 [label="Exit block"];
} }
112 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 112 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
113 [label="Postponed exit from lambda"]; 113 [label="Postponed exit from lambda"];
114 [label="Postponed exit from lambda"]; 114 [label="Postponed exit from lambda"];
@@ -382,14 +382,14 @@ digraph callsInPlace_kt {
125 [label="Postponed enter to lambda"]; 125 [label="Postponed enter to lambda"];
subgraph cluster_38 { subgraph cluster_38 {
color=blue color=blue
126 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 126 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_39 { subgraph cluster_39 {
color=blue color=blue
127 [label="Enter block"]; 127 [label="Enter block"];
128 [label="Const: String(test_8)"]; 128 [label="Const: String(test_8)"];
129 [label="Exit block"]; 129 [label="Exit block"];
} }
130 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 130 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
131 [label="Postponed exit from lambda"]; 131 [label="Postponed exit from lambda"];
132 [label="Function call: R|/myDummyRun|(...)" style="filled" fillcolor=yellow]; 132 [label="Function call: R|/myDummyRun|(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/bad/callsInPlace/inLocalClass.dot
Vendored
+1 -1
View File
@@ -14,7 +14,7 @@ digraph inLocalClass_kt {
2 [label="Enter block"]; 2 [label="Enter block"];
3 [label="Exit block"]; 3 [label="Exit block"];
} }
4 [label="Exit local class foo"]; 4 [label="Local class declaration"];
5 [label="Function call: R|/LocalClass.LocalClass|()" style="filled" fillcolor=yellow]; 5 [label="Function call: R|/LocalClass.LocalClass|()" style="filled" fillcolor=yellow];
6 [label="Function call: R|/LocalClass.LocalClass|().R|<local>/run|()" style="filled" fillcolor=yellow]; 6 [label="Function call: R|/LocalClass.LocalClass|().R|<local>/run|()" style="filled" fillcolor=yellow];
7 [label="Function call: R|<local>/e|.R|SubstitutionOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()" style="filled" fillcolor=yellow]; 7 [label="Function call: R|<local>/e|.R|SubstitutionOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/bad/callsInPlace/inLocalFunction.dot
Vendored
+1 -1
View File
@@ -14,7 +14,7 @@ digraph inLocalFunction_kt {
2 [label="Enter block"]; 2 [label="Enter block"];
3 [label="Exit block"]; 3 [label="Exit block"];
} }
4 [label="Local function declaration foo"]; 4 [label="Local function declaration"];
5 [label="Function call: R|<local>/localFun|()" style="filled" fillcolor=yellow]; 5 [label="Function call: R|<local>/localFun|()" style="filled" fillcolor=yellow];
6 [label="Function call: R|<local>/b|.R|SubstitutionOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()" style="filled" fillcolor=yellow]; 6 [label="Function call: R|<local>/b|.R|SubstitutionOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()" style="filled" fillcolor=yellow];
7 [label="Exit block"]; 7 [label="Exit block"];
compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/good/callsInPlace/atLeastOnce.dot
Vendored
+4 -4
View File
@@ -59,7 +59,7 @@ digraph atLeastOnce_kt {
17 [label="Postponed enter to lambda"]; 17 [label="Postponed enter to lambda"];
subgraph cluster_8 { subgraph cluster_8 {
color=blue color=blue
18 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 18 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_9 { subgraph cluster_9 {
color=blue color=blue
19 [label="Enter block"]; 19 [label="Enter block"];
@@ -67,7 +67,7 @@ digraph atLeastOnce_kt {
21 [label="Assignment: R|<local>/x|"]; 21 [label="Assignment: R|<local>/x|"];
22 [label="Exit block"]; 22 [label="Exit block"];
} }
23 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 23 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
24 [label="Postponed exit from lambda"]; 24 [label="Postponed exit from lambda"];
25 [label="Function call: R|/inlineRun|(...)" style="filled" fillcolor=yellow]; 25 [label="Function call: R|/inlineRun|(...)" style="filled" fillcolor=yellow];
@@ -106,7 +106,7 @@ digraph atLeastOnce_kt {
33 [label="Postponed enter to lambda"]; 33 [label="Postponed enter to lambda"];
subgraph cluster_12 { subgraph cluster_12 {
color=blue color=blue
34 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 34 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_13 { subgraph cluster_13 {
color=blue color=blue
35 [label="Enter block"]; 35 [label="Enter block"];
@@ -114,7 +114,7 @@ digraph atLeastOnce_kt {
37 [label="Assignment: R|<local>/x|"]; 37 [label="Assignment: R|<local>/x|"];
38 [label="Exit block"]; 38 [label="Exit block"];
} }
39 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 39 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
40 [label="Postponed exit from lambda"]; 40 [label="Postponed exit from lambda"];
41 [label="Function call: R|/myRun|(...)" style="filled" fillcolor=yellow]; 41 [label="Function call: R|/myRun|(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/good/callsInPlace/atMostOnce.dot
Vendored
+4 -4
View File
@@ -59,7 +59,7 @@ digraph atMostOnce_kt {
17 [label="Postponed enter to lambda"]; 17 [label="Postponed enter to lambda"];
subgraph cluster_8 { subgraph cluster_8 {
color=blue color=blue
18 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 18 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_9 { subgraph cluster_9 {
color=blue color=blue
19 [label="Enter block"]; 19 [label="Enter block"];
@@ -67,7 +67,7 @@ digraph atMostOnce_kt {
21 [label="Assignment: R|<local>/x|"]; 21 [label="Assignment: R|<local>/x|"];
22 [label="Exit block"]; 22 [label="Exit block"];
} }
23 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 23 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
24 [label="Postponed exit from lambda"]; 24 [label="Postponed exit from lambda"];
25 [label="Function call: R|/inlineRun|(...)" style="filled" fillcolor=yellow]; 25 [label="Function call: R|/inlineRun|(...)" style="filled" fillcolor=yellow];
@@ -104,7 +104,7 @@ digraph atMostOnce_kt {
33 [label="Postponed enter to lambda"]; 33 [label="Postponed enter to lambda"];
subgraph cluster_12 { subgraph cluster_12 {
color=blue color=blue
34 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 34 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_13 { subgraph cluster_13 {
color=blue color=blue
35 [label="Enter block"]; 35 [label="Enter block"];
@@ -112,7 +112,7 @@ digraph atMostOnce_kt {
37 [label="Assignment: R|<local>/x|"]; 37 [label="Assignment: R|<local>/x|"];
38 [label="Exit block"]; 38 [label="Exit block"];
} }
39 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 39 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
40 [label="Postponed exit from lambda"]; 40 [label="Postponed exit from lambda"];
41 [label="Function call: R|/myRun|(...)" style="filled" fillcolor=yellow]; 41 [label="Function call: R|/myRun|(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/good/callsInPlace/exactlyOnce.dot
Vendored
+4 -4
View File
@@ -59,7 +59,7 @@ digraph exactlyOnce_kt {
17 [label="Postponed enter to lambda"]; 17 [label="Postponed enter to lambda"];
subgraph cluster_8 { subgraph cluster_8 {
color=blue color=blue
18 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 18 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_9 { subgraph cluster_9 {
color=blue color=blue
19 [label="Enter block"]; 19 [label="Enter block"];
@@ -67,7 +67,7 @@ digraph exactlyOnce_kt {
21 [label="Assignment: R|<local>/x|"]; 21 [label="Assignment: R|<local>/x|"];
22 [label="Exit block"]; 22 [label="Exit block"];
} }
23 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 23 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
24 [label="Postponed exit from lambda"]; 24 [label="Postponed exit from lambda"];
25 [label="Function call: R|/inlineRun|(...)" style="filled" fillcolor=yellow]; 25 [label="Function call: R|/inlineRun|(...)" style="filled" fillcolor=yellow];
@@ -105,7 +105,7 @@ digraph exactlyOnce_kt {
33 [label="Postponed enter to lambda"]; 33 [label="Postponed enter to lambda"];
subgraph cluster_12 { subgraph cluster_12 {
color=blue color=blue
34 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 34 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_13 { subgraph cluster_13 {
color=blue color=blue
35 [label="Enter block"]; 35 [label="Enter block"];
@@ -113,7 +113,7 @@ digraph exactlyOnce_kt {
37 [label="Assignment: R|<local>/x|"]; 37 [label="Assignment: R|<local>/x|"];
38 [label="Exit block"]; 38 [label="Exit block"];
} }
39 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 39 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
40 [label="Postponed exit from lambda"]; 40 [label="Postponed exit from lambda"];
41 [label="Function call: R|/myRun|(...)" style="filled" fillcolor=yellow]; 41 [label="Function call: R|/myRun|(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/good/callsInPlace/flow.dot
Vendored
+2 -2
View File
@@ -173,7 +173,7 @@ digraph flow_kt {
} }
80 [label="Exit loop block"]; 80 [label="Exit loop block"];
} }
81 [label="Exit whileloop"]; 81 [label="Exit while loop"];
} }
82 [label="Exit block"]; 82 [label="Exit block"];
} }
@@ -205,7 +205,7 @@ digraph flow_kt {
96 [label="Const: Boolean(true)"]; 96 [label="Const: Boolean(true)"];
97 [label="Exit loop condition"]; 97 [label="Exit loop condition"];
} }
98 [label="Exit do-whileloop" style="filled" fillcolor=gray]; 98 [label="Exit do-while loop" style="filled" fillcolor=gray];
} }
99 [label="Exit block" style="filled" fillcolor=gray]; 99 [label="Exit block" style="filled" fillcolor=gray];
} }
compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/good/callsInPlace/inPlaceLambda.dot
Vendored
+2 -2
View File
@@ -70,14 +70,14 @@ digraph inPlaceLambda_kt {
22 [label="Postponed enter to lambda"]; 22 [label="Postponed enter to lambda"];
subgraph cluster_9 { subgraph cluster_9 {
color=blue color=blue
23 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 23 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_10 { subgraph cluster_10 {
color=blue color=blue
24 [label="Enter block"]; 24 [label="Enter block"];
25 [label="Function call: R|<local>/x|.R|SubstitutionOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()" style="filled" fillcolor=yellow]; 25 [label="Function call: R|<local>/x|.R|SubstitutionOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()" style="filled" fillcolor=yellow];
26 [label="Exit block"]; 26 [label="Exit block"];
} }
27 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 27 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
28 [label="Postponed exit from lambda"]; 28 [label="Postponed exit from lambda"];
29 [label="Function call: R|/bar|(...)" style="filled" fillcolor=yellow]; 29 [label="Function call: R|/bar|(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromSource/good/callsInPlace/unknown.dot
Vendored
+4 -4
View File
@@ -59,7 +59,7 @@ digraph unknown_kt {
17 [label="Postponed enter to lambda"]; 17 [label="Postponed enter to lambda"];
subgraph cluster_8 { subgraph cluster_8 {
color=blue color=blue
18 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 18 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_9 { subgraph cluster_9 {
color=blue color=blue
19 [label="Enter block"]; 19 [label="Enter block"];
@@ -67,7 +67,7 @@ digraph unknown_kt {
21 [label="Assignment: R|<local>/x|"]; 21 [label="Assignment: R|<local>/x|"];
22 [label="Exit block"]; 22 [label="Exit block"];
} }
23 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 23 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
24 [label="Postponed exit from lambda"]; 24 [label="Postponed exit from lambda"];
25 [label="Function call: R|/inlineRun|(...)" style="filled" fillcolor=yellow]; 25 [label="Function call: R|/inlineRun|(...)" style="filled" fillcolor=yellow];
@@ -105,7 +105,7 @@ digraph unknown_kt {
33 [label="Postponed enter to lambda"]; 33 [label="Postponed enter to lambda"];
subgraph cluster_12 { subgraph cluster_12 {
color=blue color=blue
34 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 34 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_13 { subgraph cluster_13 {
color=blue color=blue
35 [label="Enter block"]; 35 [label="Enter block"];
@@ -113,7 +113,7 @@ digraph unknown_kt {
37 [label="Assignment: R|<local>/x|"]; 37 [label="Assignment: R|<local>/x|"];
38 [label="Exit block"]; 38 [label="Exit block"];
} }
39 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 39 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
40 [label="Postponed exit from lambda"]; 40 [label="Postponed exit from lambda"];
41 [label="Function call: R|/myRun|(...)" style="filled" fillcolor=yellow]; 41 [label="Function call: R|/myRun|(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolveWithStdlib/delegates/delegateWithAnonymousObject.dot
Vendored
+6 -6
View File
@@ -93,7 +93,7 @@ digraph delegateWithAnonymousObject_kt {
28 [label="Postponed enter to lambda"]; 28 [label="Postponed enter to lambda"];
subgraph cluster_11 { subgraph cluster_11 {
color=blue color=blue
29 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 29 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_12 { subgraph cluster_12 {
color=blue color=blue
30 [label="Enter block"]; 30 [label="Enter block"];
@@ -112,7 +112,7 @@ digraph delegateWithAnonymousObject_kt {
37 [label="Exit anonymous object expression"]; 37 [label="Exit anonymous object expression"];
38 [label="Exit block"]; 38 [label="Exit block"];
} }
39 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 39 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
subgraph cluster_15 { subgraph cluster_15 {
color=blue color=blue
@@ -153,7 +153,7 @@ digraph delegateWithAnonymousObject_kt {
} }
subgraph cluster_19 { subgraph cluster_19 {
color=blue color=blue
63 [label="Enter function setter" style="filled" fillcolor=red]; 63 [label="Enter function <setter>" style="filled" fillcolor=red];
subgraph cluster_20 { subgraph cluster_20 {
color=blue color=blue
64 [label="Enter block"]; 64 [label="Enter block"];
@@ -163,11 +163,11 @@ digraph delegateWithAnonymousObject_kt {
68 [label="Function call: this@R|/IssuesListUserProfile|.D|/IssuesListUserProfile.issueListView|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.setValue: R|kotlin/Unit|>|(...)" style="filled" fillcolor=yellow]; 68 [label="Function call: this@R|/IssuesListUserProfile|.D|/IssuesListUserProfile.issueListView|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.setValue: R|kotlin/Unit|>|(...)" style="filled" fillcolor=yellow];
69 [label="Exit block"]; 69 [label="Exit block"];
} }
70 [label="Exit function setter" style="filled" fillcolor=red]; 70 [label="Exit function <setter>" style="filled" fillcolor=red];
} }
subgraph cluster_21 { subgraph cluster_21 {
color=blue color=blue
71 [label="Enter function getter" style="filled" fillcolor=red]; 71 [label="Enter function <getter>" style="filled" fillcolor=red];
subgraph cluster_22 { subgraph cluster_22 {
color=blue color=blue
72 [label="Enter block"]; 72 [label="Enter block"];
@@ -178,7 +178,7 @@ digraph delegateWithAnonymousObject_kt {
77 [label="Stub" style="filled" fillcolor=gray]; 77 [label="Stub" style="filled" fillcolor=gray];
78 [label="Exit block" style="filled" fillcolor=gray]; 78 [label="Exit block" style="filled" fillcolor=gray];
} }
79 [label="Exit function getter" style="filled" fillcolor=red]; 79 [label="Exit function <getter>" style="filled" fillcolor=red];
} }
23 -> {24} [color=green]; 23 -> {24} [color=green];
23 -> {62} [style=dotted]; 23 -> {62} [style=dotted];
compiler/fir/analysis-tests/testData/resolveWithStdlib/inference/plusAssignWithLambdaInRhs.dot
Vendored
+6 -6
View File
@@ -17,14 +17,14 @@ digraph plusAssignWithLambdaInRhs_kt {
7 [label="Postponed enter to lambda" style="filled" fillcolor=gray]; 7 [label="Postponed enter to lambda" style="filled" fillcolor=gray];
subgraph cluster_2 { subgraph cluster_2 {
color=blue color=blue
8 [label="Enter function anonymousFunction" style="filled" fillcolor=gray]; 8 [label="Enter function <anonymous>" style="filled" fillcolor=gray];
subgraph cluster_3 { subgraph cluster_3 {
color=blue color=blue
9 [label="Enter block" style="filled" fillcolor=gray]; 9 [label="Enter block" style="filled" fillcolor=gray];
10 [label="Access variable R|<local>/it|" style="filled" fillcolor=gray]; 10 [label="Access variable R|<local>/it|" style="filled" fillcolor=gray];
11 [label="Exit block" style="filled" fillcolor=gray]; 11 [label="Exit block" style="filled" fillcolor=gray];
} }
12 [label="Exit function anonymousFunction" style="filled" fillcolor=gray]; 12 [label="Exit function <anonymous>" style="filled" fillcolor=gray];
} }
13 [label="Postponed exit from lambda" style="filled" fillcolor=gray]; 13 [label="Postponed exit from lambda" style="filled" fillcolor=gray];
14 [label="Function call: R|<local>/list|.R|kotlin/collections/plusAssign|<R|(kotlin/String) -> kotlin/String|>(...)" style="filled" fillcolor=gray]; 14 [label="Function call: R|<local>/list|.R|kotlin/collections/plusAssign|<R|(kotlin/String) -> kotlin/String|>(...)" style="filled" fillcolor=gray];
@@ -87,7 +87,7 @@ digraph plusAssignWithLambdaInRhs_kt {
29 [label="Postponed enter to lambda"]; 29 [label="Postponed enter to lambda"];
subgraph cluster_9 { subgraph cluster_9 {
color=blue color=blue
30 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 30 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_10 { subgraph cluster_10 {
color=blue color=blue
31 [label="Enter block"]; 31 [label="Enter block"];
@@ -95,7 +95,7 @@ digraph plusAssignWithLambdaInRhs_kt {
33 [label="Postponed enter to lambda"]; 33 [label="Postponed enter to lambda"];
subgraph cluster_11 { subgraph cluster_11 {
color=blue color=blue
34 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 34 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_12 { subgraph cluster_12 {
color=blue color=blue
35 [label="Enter block"]; 35 [label="Enter block"];
@@ -103,13 +103,13 @@ digraph plusAssignWithLambdaInRhs_kt {
37 [label="Function call: R|<local>/resolve|.R|SubstitutionOverride<kotlin/Function1.invoke: R|kotlin/Unit|>|(...)" style="filled" fillcolor=yellow]; 37 [label="Function call: R|<local>/resolve|.R|SubstitutionOverride<kotlin/Function1.invoke: R|kotlin/Unit|>|(...)" style="filled" fillcolor=yellow];
38 [label="Exit block"]; 38 [label="Exit block"];
} }
39 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 39 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
40 [label="Postponed exit from lambda"]; 40 [label="Postponed exit from lambda"];
41 [label="Function call: R|<local>/queue|.R|kotlin/collections/plusAssign|<R|() -> kotlin/Unit|>(...)" style="filled" fillcolor=yellow]; 41 [label="Function call: R|<local>/queue|.R|kotlin/collections/plusAssign|<R|() -> kotlin/Unit|>(...)" style="filled" fillcolor=yellow];
42 [label="Exit block"]; 42 [label="Exit block"];
} }
43 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 43 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
44 [label="Postponed exit from lambda"]; 44 [label="Postponed exit from lambda"];
45 [label="Function call: R|/A.A|<R|T|>(...)" style="filled" fillcolor=yellow]; 45 [label="Function call: R|/A.A|<R|T|>(...)" style="filled" fillcolor=yellow];
compiler/fir/analysis-tests/testData/resolveWithStdlib/smartcasts/tryWithLambdaInside.dot
Vendored
+4 -4
View File
@@ -57,14 +57,14 @@ digraph tryWithLambdaInside_kt {
17 [label="Postponed enter to lambda"]; 17 [label="Postponed enter to lambda"];
subgraph cluster_9 { subgraph cluster_9 {
color=blue color=blue
18 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 18 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_10 { subgraph cluster_10 {
color=blue color=blue
19 [label="Enter block"]; 19 [label="Enter block"];
20 [label="Access variable R|<local>/it|"]; 20 [label="Access variable R|<local>/it|"];
21 [label="Exit block"]; 21 [label="Exit block"];
} }
22 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 22 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
23 [label="Postponed exit from lambda"]; 23 [label="Postponed exit from lambda"];
24 [label="Function call: R|<local>/list|.R|kotlin/collections/filter|<R|kotlin/Boolean|>(...)" style="filled" fillcolor=yellow]; 24 [label="Function call: R|<local>/list|.R|kotlin/collections/filter|<R|kotlin/Boolean|>(...)" style="filled" fillcolor=yellow];
@@ -146,14 +146,14 @@ finally {
42 [label="Postponed enter to lambda"]; 42 [label="Postponed enter to lambda"];
subgraph cluster_18 { subgraph cluster_18 {
color=blue color=blue
43 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 43 [label="Enter function <anonymous>" style="filled" fillcolor=red];
subgraph cluster_19 { subgraph cluster_19 {
color=blue color=blue
44 [label="Enter block"]; 44 [label="Enter block"];
45 [label="Access variable R|<local>/it|"]; 45 [label="Access variable R|<local>/it|"];
46 [label="Exit block"]; 46 [label="Exit block"];
} }
47 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 47 [label="Exit function <anonymous>" style="filled" fillcolor=red];
} }
48 [label="Postponed exit from lambda"]; 48 [label="Postponed exit from lambda"];
49 [label="Function call: R|<local>/list|.R|/notInPlaceFilter|<R|kotlin/Boolean|>(...)" style="filled" fillcolor=yellow]; 49 [label="Function call: R|<local>/list|.R|/notInPlaceFilter|<R|kotlin/Boolean|>(...)" style="filled" fillcolor=yellow];
compiler/fir/semantics/src/org/jetbrains/kotlin/fir/resolve/dfa/cfg/CFGNodeRenderer.kt
+5 -15
View File
@@ -5,7 +5,6 @@
package org.jetbrains.kotlin.fir.resolve.dfa.cfg package org.jetbrains.kotlin.fir.resolve.dfa.cfg
import org.jetbrains.kotlin.fir.declarations.*
import org.jetbrains.kotlin.fir.expressions.FirDoWhileLoop import org.jetbrains.kotlin.fir.expressions.FirDoWhileLoop
import org.jetbrains.kotlin.fir.expressions.FirLoop import org.jetbrains.kotlin.fir.expressions.FirLoop
import org.jetbrains.kotlin.fir.expressions.FirWhileLoop import org.jetbrains.kotlin.fir.expressions.FirWhileLoop
@@ -18,9 +17,9 @@ fun CFGNode<*>.render(): String =
buildString { buildString {
append( append(
when (this@render) { when (this@render) {
is FunctionEnterNode -> "Enter function \"${fir.name()}\"" is FunctionEnterNode -> "Enter function ${owner.name}"
is FunctionExitNode -> "Exit function \"${fir.name()}\"" is FunctionExitNode -> "Exit function ${owner.name}"
is LocalFunctionDeclarationNode -> "Local function declaration ${owner.name}" is LocalFunctionDeclarationNode -> "Local function declaration"
is BlockEnterNode -> "Enter block" is BlockEnterNode -> "Enter block"
is BlockExitNode -> "Exit block" is BlockExitNode -> "Exit block"
@@ -38,7 +37,7 @@ fun CFGNode<*>.render(): String =
is LoopBlockExitNode -> "Exit loop block" is LoopBlockExitNode -> "Exit loop block"
is LoopConditionEnterNode -> "Enter loop condition" is LoopConditionEnterNode -> "Enter loop condition"
is LoopConditionExitNode -> "Exit loop condition" is LoopConditionExitNode -> "Exit loop condition"
is LoopExitNode -> "Exit ${fir.type()}loop" is LoopExitNode -> "Exit ${fir.type()} loop"
is QualifiedAccessNode -> "Access variable ${CfgRenderer.renderElementAsString(fir.calleeReference)}" is QualifiedAccessNode -> "Access variable ${CfgRenderer.renderElementAsString(fir.calleeReference)}"
is ResolvedQualifierNode -> "Access qualifier ${fir.classId}" is ResolvedQualifierNode -> "Access qualifier ${fir.classId}"
@@ -102,7 +101,7 @@ fun CFGNode<*>.render(): String =
is ClassEnterNode -> "Enter class ${owner.name}" is ClassEnterNode -> "Enter class ${owner.name}"
is ClassExitNode -> "Exit class ${owner.name}" is ClassExitNode -> "Exit class ${owner.name}"
is LocalClassExitNode -> "Exit local class ${owner.name}" is LocalClassExitNode -> "Local class declaration"
is AnonymousObjectEnterNode -> "Enter anonymous object" is AnonymousObjectEnterNode -> "Enter anonymous object"
is AnonymousObjectExpressionExitNode -> "Exit anonymous object expression" is AnonymousObjectExpressionExitNode -> "Exit anonymous object expression"
@@ -133,15 +132,6 @@ fun CFGNode<*>.render(): String =
private val CfgRenderer private val CfgRenderer
get() = FirRenderer(annotationRenderer = null, callArgumentsRenderer = FirCallNoArgumentsRenderer()) get() = FirRenderer(annotationRenderer = null, callArgumentsRenderer = FirCallNoArgumentsRenderer())
private fun FirFunction.name(): String = when (this) {
is FirSimpleFunction -> name.asString()
is FirAnonymousFunction -> "anonymousFunction"
is FirConstructor -> "<init>"
is FirPropertyAccessor -> if (isGetter) "getter" else "setter"
is FirErrorFunction -> "errorFunction"
else -> TODO(toString())
}
private fun FirLoop.type(): String = when (this) { private fun FirLoop.type(): String = when (this) {
is FirWhileLoop -> "while" is FirWhileLoop -> "while"
is FirDoWhileLoop -> "do-while" is FirDoWhileLoop -> "do-while"
compiler/testData/codegen/box/smartCasts/kt44814.dot
Vendored
+4 -4
View File
@@ -560,7 +560,7 @@ digraph kt44814_kt {
196 [label="Postponed enter to lambda [3]"]; 196 [label="Postponed enter to lambda [3]"];
subgraph cluster_64 { subgraph cluster_64 {
color=blue color=blue
197 [label="Enter function anonymousFunction [4]" style="filled" fillcolor=red]; 197 [label="Enter function <anonymous> [4]" style="filled" fillcolor=red];
subgraph cluster_65 { subgraph cluster_65 {
color=blue color=blue
198 [label="Enter block [4]"]; 198 [label="Enter block [4]"];
@@ -573,7 +573,7 @@ digraph kt44814_kt {
205 [label="Equality operator == [4]"]; 205 [label="Equality operator == [4]"];
206 [label="Exit block [4]"]; 206 [label="Exit block [4]"];
} }
207 [label="Exit function anonymousFunction [4]" style="filled" fillcolor=red]; 207 [label="Exit function <anonymous> [4]" style="filled" fillcolor=red];
} }
208 [label="Postponed exit from lambda [3]"]; 208 [label="Postponed exit from lambda [3]"];
209 [label="Function call: this@R|/FirModifierList.Companion.getModifierList|.R|/FirLightSourceElement.lighterASTNode|.R|/LighterASTNode.getChildren|(...).R|kotlin/collections/find|<R|LighterASTNode?|>(...) [3]" style="filled" fillcolor=yellow]; 209 [label="Function call: this@R|/FirModifierList.Companion.getModifierList|.R|/FirLightSourceElement.lighterASTNode|.R|/LighterASTNode.getChildren|(...).R|kotlin/collections/find|<R|LighterASTNode?|>(...) [3]" style="filled" fillcolor=yellow];
@@ -603,7 +603,7 @@ digraph kt44814_kt {
230 [label="Postponed enter to lambda [3]"]; 230 [label="Postponed enter to lambda [3]"];
subgraph cluster_67 { subgraph cluster_67 {
color=blue color=blue
231 [label="Enter function anonymousFunction [4]" style="filled" fillcolor=red]; 231 [label="Enter function <anonymous> [4]" style="filled" fillcolor=red];
subgraph cluster_68 { subgraph cluster_68 {
color=blue color=blue
232 [label="Enter block [4]"]; 232 [label="Enter block [4]"];
@@ -611,7 +611,7 @@ digraph kt44814_kt {
234 [label="Function call: R|/FirModifierList.FirPsiModifierList.FirPsiModifierList|(...) [4]" style="filled" fillcolor=yellow]; 234 [label="Function call: R|/FirModifierList.FirPsiModifierList.FirPsiModifierList|(...) [4]" style="filled" fillcolor=yellow];
235 [label="Exit block [4]"]; 235 [label="Exit block [4]"];
} }
236 [label="Exit function anonymousFunction [4]" style="filled" fillcolor=red]; 236 [label="Exit function <anonymous> [4]" style="filled" fillcolor=red];
} }
237 [label="Postponed exit from lambda [3]"]; 237 [label="Postponed exit from lambda [3]"];
238 [label="Function call: $subj$.R|kotlin/let|<R|KtModifierList|, R|FirModifierList.FirPsiModifierList|>(...) [3]" style="filled" fillcolor=yellow]; 238 [label="Function call: $subj$.R|kotlin/let|<R|KtModifierList|, R|FirModifierList.FirPsiModifierList|>(...) [3]" style="filled" fillcolor=yellow];