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

[FIR] Update test data after introducing new fir nodes

Browse Source
This commit is contained in:
Ivan Kylchik
2020-07-16 00:30:02 +03:00
parent d77d733244
commit 3c01a39846
20 changed files with 96 additions and 97 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/analysis-tests/testData/resolve/cfg/complex.dot
Vendored
+2 -2
View File
@@ -45,7 +45,7 @@ digraph complex_kt {
11 [label="Enter when branch condition "];
12 [label="Access variable this@R|/closeFinally|"];
13 [label="Const: Null(null)"];
14 [label="Operator =="];
14 [label="Equality operator =="];
15 [label="Exit when branch condition"];
}
subgraph cluster_8 {
@@ -53,7 +53,7 @@ digraph complex_kt {
16 [label="Enter when branch condition "];
17 [label="Access variable R|<local>/cause|"];
18 [label="Const: Null(null)"];
19 [label="Operator =="];
19 [label="Equality operator =="];
20 [label="Exit when branch condition"];
}
subgraph cluster_9 {
compiler/fir/analysis-tests/testData/resolve/cfg/jumps.dot
Vendored
+2 -2
View File
@@ -17,7 +17,7 @@ digraph jumps_kt {
3 [label="Enter when branch condition "];
4 [label="Access variable R|<local>/x|"];
5 [label="Const: Null(null)"];
6 [label="Operator =="];
6 [label="Equality operator =="];
7 [label="Exit when branch condition"];
}
subgraph cluster_4 {
@@ -99,7 +99,7 @@ digraph jumps_kt {
33 [label="Enter when branch condition "];
34 [label="Access variable R|<local>/x|"];
35 [label="Const: Null(null)"];
36 [label="Operator =="];
36 [label="Equality operator =="];
37 [label="Exit when branch condition"];
}
subgraph cluster_11 {
compiler/fir/analysis-tests/testData/resolve/cfg/when.dot
Vendored
+3 -3
View File
@@ -17,7 +17,7 @@ digraph when_kt {
3 [label="Enter when branch condition "];
4 [label="Access variable R|<local>/x|"];
5 [label="Const: Int(1)"];
6 [label="Operator =="];
6 [label="Equality operator =="];
7 [label="Exit when branch condition"];
}
subgraph cluster_4 {
@@ -27,7 +27,7 @@ digraph when_kt {
10 [label="Const: Int(2)"];
11 [label="Function call: R|<local>/x|.R|kotlin/Int.rem|(...)"];
12 [label="Const: Int(0)"];
13 [label="Operator =="];
13 [label="Equality operator =="];
14 [label="Exit when branch condition"];
}
subgraph cluster_5 {
@@ -37,7 +37,7 @@ digraph when_kt {
17 [label="Const: Int(1)"];
18 [label="Function call: Int(1).R|kotlin/Int.minus|(...)"];
19 [label="Const: Int(0)"];
20 [label="Operator =="];
20 [label="Equality operator =="];
21 [label="Exit when branch condition"];
}
subgraph cluster_6 {
compiler/fir/analysis-tests/testData/resolve/exhaustiveWhenAndDNNType.dot
Vendored
+6 -6
View File
@@ -96,7 +96,7 @@ digraph exhaustiveWhenAndDNNType_kt {
30 [label="Enter when branch condition "];
31 [label="Access qualifier /SomeEnum"];
32 [label="Access variable R|/SomeEnum.A1|"];
33 [label="Operator =="];
33 [label="Equality operator =="];
34 [label="Exit when branch condition"];
}
subgraph cluster_14 {
@@ -104,7 +104,7 @@ digraph exhaustiveWhenAndDNNType_kt {
35 [label="Enter when branch condition "];
36 [label="Access qualifier /SomeEnum"];
37 [label="Access variable R|/SomeEnum.A2|"];
38 [label="Operator =="];
38 [label="Equality operator =="];
39 [label="Exit when branch condition"];
}
40 [label="Enter when branch result"];
@@ -185,7 +185,7 @@ digraph exhaustiveWhenAndDNNType_kt {
64 [label="Enter when branch condition "];
65 [label="Access qualifier /SomeEnum"];
66 [label="Access variable R|/SomeEnum.A1|"];
67 [label="Operator =="];
67 [label="Equality operator =="];
68 [label="Exit when branch condition"];
}
subgraph cluster_21 {
@@ -193,7 +193,7 @@ digraph exhaustiveWhenAndDNNType_kt {
69 [label="Enter when branch condition "];
70 [label="Access qualifier /SomeEnum"];
71 [label="Access variable R|/SomeEnum.A2|"];
72 [label="Operator =="];
72 [label="Equality operator =="];
73 [label="Exit when branch condition"];
}
74 [label="Enter when branch result"];
@@ -273,7 +273,7 @@ digraph exhaustiveWhenAndDNNType_kt {
97 [label="Enter when branch condition "];
98 [label="Access qualifier /SomeEnum"];
99 [label="Access variable R|/SomeEnum.A1|"];
100 [label="Operator =="];
100 [label="Equality operator =="];
101 [label="Exit when branch condition"];
}
subgraph cluster_28 {
@@ -281,7 +281,7 @@ digraph exhaustiveWhenAndDNNType_kt {
102 [label="Enter when branch condition "];
103 [label="Access qualifier /SomeEnum"];
104 [label="Access variable R|/SomeEnum.A2|"];
105 [label="Operator =="];
105 [label="Equality operator =="];
106 [label="Exit when branch condition"];
}
107 [label="Enter when branch result"];
compiler/fir/analysis-tests/testData/resolve/smartcasts/booleans/booleanOperators.dot
Vendored
+1 -1
View File
@@ -269,7 +269,7 @@ digraph booleanOperators_kt {
95 [label="Access variable R|<local>/x|"];
96 [label="Access variable R|kotlin/String.length|"];
97 [label="Const: Int(0)"];
98 [label="Operator =="];
98 [label="Equality operator =="];
99 [label="Exit ||"];
}
100 [label="Exit when branch condition"];
compiler/fir/analysis-tests/testData/resolve/smartcasts/booleans/equalsToBoolean.dot
Vendored
+16 -16
View File
@@ -38,9 +38,9 @@ digraph equalsToBoolean_kt {
9 [label="Enter when branch condition "];
10 [label="Access variable R|<local>/b|"];
11 [label="Const: Boolean(true)"];
12 [label="Operator =="];
12 [label="Equality operator =="];
13 [label="Const: Boolean(true)"];
14 [label="Operator =="];
14 [label="Equality operator =="];
15 [label="Exit when branch condition"];
}
subgraph cluster_7 {
@@ -113,9 +113,9 @@ digraph equalsToBoolean_kt {
36 [label="Enter when branch condition "];
37 [label="Access variable R|<local>/b|"];
38 [label="Const: Boolean(true)"];
39 [label="Operator =="];
39 [label="Equality operator =="];
40 [label="Const: Boolean(true)"];
41 [label="Operator !="];
41 [label="Equality operator !="];
42 [label="Exit when branch condition"];
}
subgraph cluster_14 {
@@ -188,9 +188,9 @@ digraph equalsToBoolean_kt {
63 [label="Enter when branch condition "];
64 [label="Access variable R|<local>/b|"];
65 [label="Const: Boolean(true)"];
66 [label="Operator =="];
66 [label="Equality operator =="];
67 [label="Const: Boolean(false)"];
68 [label="Operator =="];
68 [label="Equality operator =="];
69 [label="Exit when branch condition"];
}
subgraph cluster_21 {
@@ -263,9 +263,9 @@ digraph equalsToBoolean_kt {
90 [label="Enter when branch condition "];
91 [label="Access variable R|<local>/b|"];
92 [label="Const: Boolean(true)"];
93 [label="Operator =="];
93 [label="Equality operator =="];
94 [label="Const: Boolean(false)"];
95 [label="Operator !="];
95 [label="Equality operator !="];
96 [label="Exit when branch condition"];
}
subgraph cluster_28 {
@@ -338,9 +338,9 @@ digraph equalsToBoolean_kt {
117 [label="Enter when branch condition "];
118 [label="Access variable R|<local>/b|"];
119 [label="Const: Boolean(true)"];
120 [label="Operator !="];
120 [label="Equality operator !="];
121 [label="Const: Boolean(true)"];
122 [label="Operator =="];
122 [label="Equality operator =="];
123 [label="Exit when branch condition"];
}
subgraph cluster_35 {
@@ -413,9 +413,9 @@ digraph equalsToBoolean_kt {
144 [label="Enter when branch condition "];
145 [label="Access variable R|<local>/b|"];
146 [label="Const: Boolean(true)"];
147 [label="Operator !="];
147 [label="Equality operator !="];
148 [label="Const: Boolean(true)"];
149 [label="Operator !="];
149 [label="Equality operator !="];
150 [label="Exit when branch condition"];
}
subgraph cluster_42 {
@@ -488,9 +488,9 @@ digraph equalsToBoolean_kt {
171 [label="Enter when branch condition "];
172 [label="Access variable R|<local>/b|"];
173 [label="Const: Boolean(true)"];
174 [label="Operator !="];
174 [label="Equality operator !="];
175 [label="Const: Boolean(false)"];
176 [label="Operator =="];
176 [label="Equality operator =="];
177 [label="Exit when branch condition"];
}
subgraph cluster_49 {
@@ -563,9 +563,9 @@ digraph equalsToBoolean_kt {
198 [label="Enter when branch condition "];
199 [label="Access variable R|<local>/b|"];
200 [label="Const: Boolean(true)"];
201 [label="Operator !="];
201 [label="Equality operator !="];
202 [label="Const: Boolean(false)"];
203 [label="Operator !="];
203 [label="Equality operator !="];
204 [label="Exit when branch condition"];
}
subgraph cluster_56 {
compiler/fir/analysis-tests/testData/resolve/smartcasts/booleans/jumpFromRhsOfOperator.dot
Vendored
+8 -8
View File
@@ -28,7 +28,7 @@ digraph jumpFromRhsOfOperator_kt {
6 [label="Enter ||"];
7 [label="Access variable R|<local>/a|"];
8 [label="Const: Null(null)"];
9 [label="Operator !="];
9 [label="Equality operator !="];
10 [label="Exit left part of ||"];
11 [label="Enter right part of ||"];
12 [label="Function call: R|java/lang/Exception.Exception|()"];
@@ -70,7 +70,7 @@ digraph jumpFromRhsOfOperator_kt {
22 [label="Enter &&"];
23 [label="Access variable R|<local>/a|"];
24 [label="Const: Null(null)"];
25 [label="Operator =="];
25 [label="Equality operator =="];
26 [label="Exit left part of &&"];
27 [label="Enter right part of &&"];
28 [label="Function call: R|java/lang/Exception.Exception|()"];
@@ -118,7 +118,7 @@ digraph jumpFromRhsOfOperator_kt {
40 [label="Enter ||"];
41 [label="Access variable R|<local>/a|"];
42 [label="Const: Null(null)"];
43 [label="Operator !="];
43 [label="Equality operator !="];
44 [label="Exit left part of ||"];
45 [label="Enter right part of ||"];
46 [label="Function call: R|java/lang/Exception.Exception|()"];
@@ -191,7 +191,7 @@ digraph jumpFromRhsOfOperator_kt {
67 [label="Enter &&"];
68 [label="Access variable R|<local>/a|"];
69 [label="Const: Null(null)"];
70 [label="Operator =="];
70 [label="Equality operator =="];
71 [label="Exit left part of &&"];
72 [label="Enter right part of &&"];
73 [label="Function call: R|java/lang/Exception.Exception|()"];
@@ -258,7 +258,7 @@ digraph jumpFromRhsOfOperator_kt {
92 [label="Enter ||"];
93 [label="Access variable R|<local>/a|"];
94 [label="Const: Null(null)"];
95 [label="Operator =="];
95 [label="Equality operator =="];
96 [label="Exit left part of ||"];
97 [label="Enter right part of ||"];
98 [label="Function call: R|java/lang/Exception.Exception|()"];
@@ -300,7 +300,7 @@ digraph jumpFromRhsOfOperator_kt {
108 [label="Enter &&"];
109 [label="Access variable R|<local>/a|"];
110 [label="Const: Null(null)"];
111 [label="Operator !="];
111 [label="Equality operator !="];
112 [label="Exit left part of &&"];
113 [label="Enter right part of &&"];
114 [label="Function call: R|java/lang/Exception.Exception|()"];
@@ -348,7 +348,7 @@ digraph jumpFromRhsOfOperator_kt {
126 [label="Enter ||"];
127 [label="Access variable R|<local>/a|"];
128 [label="Const: Null(null)"];
129 [label="Operator =="];
129 [label="Equality operator =="];
130 [label="Exit left part of ||"];
131 [label="Enter right part of ||"];
132 [label="Function call: R|java/lang/Exception.Exception|()"];
@@ -421,7 +421,7 @@ digraph jumpFromRhsOfOperator_kt {
153 [label="Enter &&"];
154 [label="Access variable R|<local>/a|"];
155 [label="Const: Null(null)"];
156 [label="Operator !="];
156 [label="Equality operator !="];
157 [label="Exit left part of &&"];
158 [label="Enter right part of &&"];
159 [label="Function call: R|java/lang/Exception.Exception|()"];
compiler/fir/analysis-tests/testData/resolve/smartcasts/boundSmartcasts/boundSmartcastsInBranches.dot
Vendored
+7 -7
View File
@@ -73,7 +73,7 @@ digraph boundSmartcastsInBranches_kt {
28 [label="Enter when branch condition "];
29 [label="Access variable R|<local>/goodA|"];
30 [label="Const: Null(null)"];
31 [label="Operator =="];
31 [label="Equality operator =="];
32 [label="Exit when branch condition"];
}
33 [label="Synthetic else branch"];
@@ -576,7 +576,7 @@ digraph boundSmartcastsInBranches_kt {
210 [label="Enter when branch condition "];
211 [label="Access variable R|<local>/x|"];
212 [label="Const: Null(null)"];
213 [label="Operator !="];
213 [label="Equality operator !="];
214 [label="Exit when branch condition"];
}
215 [label="Synthetic else branch"];
@@ -603,7 +603,7 @@ digraph boundSmartcastsInBranches_kt {
228 [label="Enter when branch condition "];
229 [label="Access variable R|<local>/y|"];
230 [label="Const: Null(null)"];
231 [label="Operator !="];
231 [label="Equality operator !="];
232 [label="Exit when branch condition"];
}
233 [label="Synthetic else branch"];
@@ -630,7 +630,7 @@ digraph boundSmartcastsInBranches_kt {
246 [label="Enter when branch condition "];
247 [label="Access variable R|<local>/z|"];
248 [label="Const: Null(null)"];
249 [label="Operator !="];
249 [label="Equality operator !="];
250 [label="Exit when branch condition"];
}
251 [label="Synthetic else branch"];
@@ -659,7 +659,7 @@ digraph boundSmartcastsInBranches_kt {
266 [label="Enter when branch condition "];
267 [label="Access variable R|<local>/x|"];
268 [label="Const: Null(null)"];
269 [label="Operator !="];
269 [label="Equality operator !="];
270 [label="Exit when branch condition"];
}
271 [label="Synthetic else branch"];
@@ -686,7 +686,7 @@ digraph boundSmartcastsInBranches_kt {
284 [label="Enter when branch condition "];
285 [label="Access variable R|<local>/y|"];
286 [label="Const: Null(null)"];
287 [label="Operator !="];
287 [label="Equality operator !="];
288 [label="Exit when branch condition"];
}
289 [label="Synthetic else branch"];
@@ -713,7 +713,7 @@ digraph boundSmartcastsInBranches_kt {
302 [label="Enter when branch condition "];
303 [label="Access variable R|<local>/z|"];
304 [label="Const: Null(null)"];
305 [label="Operator !="];
305 [label="Equality operator !="];
306 [label="Exit when branch condition"];
}
307 [label="Synthetic else branch"];
compiler/fir/analysis-tests/testData/resolve/smartcasts/boundSmartcasts/functionCallBound.dot
Vendored
+1 -1
View File
@@ -90,7 +90,7 @@ digraph functionCallBound_kt {
29 [label="Function call: $subj$.R|/isOk|()"];
30 [label="Exit safe call"];
31 [label="Const: Boolean(true)"];
32 [label="Operator =="];
32 [label="Equality operator =="];
33 [label="Exit when branch condition"];
}
subgraph cluster_12 {
compiler/fir/analysis-tests/testData/resolve/smartcasts/casts.dot
Vendored
+3 -3
View File
@@ -131,7 +131,7 @@ digraph casts_kt {
55 [label="Access variable R|<local>/x|"];
56 [label="Type operator: (R|<local>/x| as R|kotlin/Boolean|)"];
57 [label="Const: Boolean(true)"];
58 [label="Operator =="];
58 [label="Equality operator =="];
59 [label="Exit &&"];
}
60 [label="Exit when branch condition"];
@@ -267,7 +267,7 @@ digraph casts_kt {
97 [label="Access variable R|<local>/b|"];
98 [label="Type operator: (R|<local>/b| as? R|kotlin/Boolean|)"];
99 [label="Const: Null(null)"];
100 [label="Operator !="];
100 [label="Equality operator !="];
101 [label="Exit when branch condition"];
}
subgraph cluster_25 {
@@ -306,7 +306,7 @@ digraph casts_kt {
121 [label="Access variable R|<local>/b|"];
122 [label="Type operator: (R|<local>/b| as? R|kotlin/Boolean|)"];
123 [label="Const: Null(null)"];
124 [label="Operator =="];
124 [label="Equality operator =="];
125 [label="Exit when branch condition"];
}
subgraph cluster_30 {
compiler/fir/analysis-tests/testData/resolve/smartcasts/controlStructures/when.dot
Vendored
+1 -1
View File
@@ -640,7 +640,7 @@ digraph when_kt {
color=blue
238 [label="Enter when branch condition "];
239 [label="Const: Int(1)"];
240 [label="Operator =="];
240 [label="Equality operator =="];
241 [label="Exit when branch condition"];
}
242 [label="Synthetic else branch"];
compiler/fir/analysis-tests/testData/resolve/smartcasts/equalsAndIdentity.dot
Vendored
+7 -7
View File
@@ -31,7 +31,7 @@ digraph equalsAndIdentity_kt {
7 [label="Enter when branch condition "];
8 [label="Access variable R|<local>/x|"];
9 [label="Access variable R|<local>/y|"];
10 [label="Operator =="];
10 [label="Equality operator =="];
11 [label="Exit when branch condition"];
}
12 [label="Synthetic else branch"];
@@ -56,7 +56,7 @@ digraph equalsAndIdentity_kt {
23 [label="Enter when branch condition "];
24 [label="Access variable R|<local>/x|"];
25 [label="Access variable R|<local>/y|"];
26 [label="Operator ==="];
26 [label="Equality operator ==="];
27 [label="Exit when branch condition"];
}
28 [label="Synthetic else branch"];
@@ -127,7 +127,7 @@ digraph equalsAndIdentity_kt {
43 [label="Enter when branch condition "];
44 [label="Access variable R|<local>/x|"];
45 [label="Access variable R|<local>/y|"];
46 [label="Operator =="];
46 [label="Equality operator =="];
47 [label="Exit when branch condition"];
}
48 [label="Synthetic else branch"];
@@ -152,7 +152,7 @@ digraph equalsAndIdentity_kt {
59 [label="Enter when branch condition "];
60 [label="Access variable R|<local>/x|"];
61 [label="Access variable R|<local>/y|"];
62 [label="Operator ==="];
62 [label="Equality operator ==="];
63 [label="Exit when branch condition"];
}
64 [label="Synthetic else branch"];
@@ -223,7 +223,7 @@ digraph equalsAndIdentity_kt {
79 [label="Enter when branch condition "];
80 [label="Access variable R|<local>/y|"];
81 [label="Const: Null(null)"];
82 [label="Operator =="];
82 [label="Equality operator =="];
83 [label="Exit when branch condition"];
}
84 [label="Synthetic else branch"];
@@ -246,7 +246,7 @@ digraph equalsAndIdentity_kt {
93 [label="Enter when branch condition "];
94 [label="Access variable R|<local>/x|"];
95 [label="Access variable R|<local>/y|"];
96 [label="Operator =="];
96 [label="Equality operator =="];
97 [label="Exit when branch condition"];
}
98 [label="Synthetic else branch"];
@@ -271,7 +271,7 @@ digraph equalsAndIdentity_kt {
109 [label="Enter when branch condition "];
110 [label="Access variable R|<local>/x|"];
111 [label="Access variable R|<local>/y|"];
112 [label="Operator ==="];
112 [label="Equality operator ==="];
113 [label="Exit when branch condition"];
}
114 [label="Synthetic else branch"];
compiler/fir/analysis-tests/testData/resolve/smartcasts/lambdas/smartcastOnLambda.dot
Vendored
+1 -1
View File
@@ -17,7 +17,7 @@ digraph smartcastOnLambda_kt {
3 [label="Enter when branch condition "];
4 [label="Access variable R|<local>/func|"];
5 [label="Const: Null(null)"];
6 [label="Operator !="];
6 [label="Equality operator !="];
7 [label="Exit when branch condition"];
}
8 [label="Synthetic else branch"];
compiler/fir/analysis-tests/testData/resolve/smartcasts/nullability.dot
Vendored
+18 -18
View File
@@ -251,7 +251,7 @@ digraph nullability_kt {
76 [label="Enter when branch condition "];
77 [label="Access variable R|<local>/x|"];
78 [label="Const: Null(null)"];
79 [label="Operator !="];
79 [label="Equality operator !="];
80 [label="Exit when branch condition"];
}
subgraph cluster_32 {
@@ -326,7 +326,7 @@ digraph nullability_kt {
103 [label="Enter when branch condition "];
104 [label="Access variable R|<local>/x|"];
105 [label="Const: Null(null)"];
106 [label="Operator =="];
106 [label="Equality operator =="];
107 [label="Exit when branch condition"];
}
subgraph cluster_39 {
@@ -437,7 +437,7 @@ digraph nullability_kt {
146 [label="Function call: $subj$.R|/A.getA|()"];
147 [label="Exit safe call"];
148 [label="Const: Null(null)"];
149 [label="Operator =="];
149 [label="Equality operator =="];
150 [label="Exit when branch condition"];
}
151 [label="Synthetic else branch"];
@@ -505,7 +505,7 @@ digraph nullability_kt {
175 [label="Function call: $subj$.R|kotlin/Int.inc|()"];
176 [label="Exit safe call"];
177 [label="Const: Null(null)"];
178 [label="Operator !="];
178 [label="Equality operator !="];
179 [label="Exit when branch condition"];
}
180 [label="Synthetic else branch"];
@@ -653,7 +653,7 @@ digraph nullability_kt {
238 [label="Function call: $subj$.R|kotlin/Int.inc|()"];
239 [label="Exit safe call"];
240 [label="Const: Null(null)"];
241 [label="Operator !="];
241 [label="Equality operator !="];
242 [label="Exit when branch condition"];
}
243 [label="Synthetic else branch"];
@@ -727,7 +727,7 @@ digraph nullability_kt {
263 [label="Enter when branch condition "];
264 [label="Access variable R|<local>/b|"];
265 [label="Const: Boolean(true)"];
266 [label="Operator =="];
266 [label="Equality operator =="];
267 [label="Exit when branch condition"];
}
268 [label="Synthetic else branch"];
@@ -778,7 +778,7 @@ digraph nullability_kt {
281 [label="Enter when branch condition "];
282 [label="Access variable R|<local>/a|"];
283 [label="Access variable R|<local>/b|"];
284 [label="Operator =="];
284 [label="Equality operator =="];
285 [label="Exit when branch condition"];
}
286 [label="Synthetic else branch"];
@@ -803,7 +803,7 @@ digraph nullability_kt {
297 [label="Enter when branch condition "];
298 [label="Access variable R|<local>/a|"];
299 [label="Access variable R|<local>/b|"];
300 [label="Operator ==="];
300 [label="Equality operator ==="];
301 [label="Exit when branch condition"];
}
302 [label="Synthetic else branch"];
@@ -828,7 +828,7 @@ digraph nullability_kt {
313 [label="Enter when branch condition "];
314 [label="Access variable R|<local>/b|"];
315 [label="Access variable R|<local>/a|"];
316 [label="Operator =="];
316 [label="Equality operator =="];
317 [label="Exit when branch condition"];
}
318 [label="Synthetic else branch"];
@@ -853,7 +853,7 @@ digraph nullability_kt {
329 [label="Enter when branch condition "];
330 [label="Access variable R|<local>/b|"];
331 [label="Access variable R|<local>/a|"];
332 [label="Operator ==="];
332 [label="Equality operator ==="];
333 [label="Exit when branch condition"];
}
334 [label="Synthetic else branch"];
@@ -956,7 +956,7 @@ digraph nullability_kt {
349 [label="Enter when branch condition "];
350 [label="Access variable R|<local>/a|"];
351 [label="Access variable R|<local>/b|"];
352 [label="Operator =="];
352 [label="Equality operator =="];
353 [label="Exit when branch condition"];
}
354 [label="Synthetic else branch"];
@@ -981,7 +981,7 @@ digraph nullability_kt {
365 [label="Enter when branch condition "];
366 [label="Access variable R|<local>/a|"];
367 [label="Access variable R|<local>/b|"];
368 [label="Operator ==="];
368 [label="Equality operator ==="];
369 [label="Exit when branch condition"];
}
370 [label="Synthetic else branch"];
@@ -1006,7 +1006,7 @@ digraph nullability_kt {
381 [label="Enter when branch condition "];
382 [label="Access variable R|<local>/b|"];
383 [label="Access variable R|<local>/a|"];
384 [label="Operator =="];
384 [label="Equality operator =="];
385 [label="Exit when branch condition"];
}
386 [label="Synthetic else branch"];
@@ -1031,7 +1031,7 @@ digraph nullability_kt {
397 [label="Enter when branch condition "];
398 [label="Access variable R|<local>/b|"];
399 [label="Access variable R|<local>/a|"];
400 [label="Operator ==="];
400 [label="Equality operator ==="];
401 [label="Exit when branch condition"];
}
402 [label="Synthetic else branch"];
@@ -1143,7 +1143,7 @@ digraph nullability_kt {
426 [label="Function call: $subj$.R|kotlin/Int.inc|()"];
427 [label="Exit safe call"];
428 [label="Const: Null(null)"];
429 [label="Operator !="];
429 [label="Equality operator !="];
430 [label="Exit when branch condition"];
}
431 [label="Synthetic else branch"];
@@ -1178,7 +1178,7 @@ digraph nullability_kt {
454 [label="Access variable R|<local>/q2|"];
455 [label="Access variable R|/QImpl.data|"];
456 [label="Const: Null(null)"];
457 [label="Operator !="];
457 [label="Equality operator !="];
458 [label="Exit when branch condition"];
}
459 [label="Synthetic else branch"];
@@ -1293,7 +1293,7 @@ digraph nullability_kt {
489 [label="Function call: $subj$.R|kotlin/Int.inc|()"];
490 [label="Exit safe call"];
491 [label="Const: Null(null)"];
492 [label="Operator !="];
492 [label="Equality operator !="];
493 [label="Exit when branch condition"];
}
494 [label="Synthetic else branch"];
@@ -1376,7 +1376,7 @@ digraph nullability_kt {
523 [label="Function call: $subj$.R|kotlin/Int.inc|()"];
524 [label="Exit safe call"];
525 [label="Const: Null(null)"];
526 [label="Operator !="];
526 [label="Equality operator !="];
527 [label="Exit when branch condition"];
}
528 [label="Synthetic else branch"];
compiler/fir/analysis-tests/testData/resolve/smartcasts/safeCalls/assignSafeCall.dot
Vendored
+4 -4
View File
@@ -89,7 +89,7 @@ digraph assignSafeCall_kt {
29 [label="Enter when branch condition "];
30 [label="Access variable R|<local>/x|"];
31 [label="Const: Null(null)"];
32 [label="Operator !="];
32 [label="Equality operator !="];
33 [label="Exit when branch condition"];
}
34 [label="Synthetic else branch"];
@@ -150,7 +150,7 @@ digraph assignSafeCall_kt {
52 [label="Enter when branch condition "];
53 [label="Access variable R|<local>/x|"];
54 [label="Const: Null(null)"];
55 [label="Operator !="];
55 [label="Equality operator !="];
56 [label="Exit when branch condition"];
}
57 [label="Synthetic else branch"];
@@ -280,7 +280,7 @@ digraph assignSafeCall_kt {
100 [label="Enter when branch condition "];
101 [label="Access variable R|<local>/x|"];
102 [label="Const: Null(null)"];
103 [label="Operator !="];
103 [label="Equality operator !="];
104 [label="Exit when branch condition"];
}
105 [label="Synthetic else branch"];
@@ -341,7 +341,7 @@ digraph assignSafeCall_kt {
123 [label="Enter when branch condition "];
124 [label="Access variable R|<local>/x|"];
125 [label="Const: Null(null)"];
126 [label="Operator !="];
126 [label="Equality operator !="];
127 [label="Exit when branch condition"];
}
128 [label="Synthetic else branch"];
compiler/fir/analysis-tests/testData/resolve/smartcasts/safeCalls/safeCallAndEqualityToBool.dot
Vendored
+4 -4
View File
@@ -41,7 +41,7 @@ digraph safeCallAndEqualityToBool_kt {
13 [label="Function call: $subj$.R|/check|()"];
14 [label="Exit safe call"];
15 [label="Const: Boolean(true)"];
16 [label="Operator =="];
16 [label="Equality operator =="];
17 [label="Exit when branch condition"];
}
subgraph cluster_6 {
@@ -118,7 +118,7 @@ digraph safeCallAndEqualityToBool_kt {
41 [label="Function call: $subj$.R|/check|()"];
42 [label="Exit safe call"];
43 [label="Const: Boolean(false)"];
44 [label="Operator =="];
44 [label="Equality operator =="];
45 [label="Exit when branch condition"];
}
subgraph cluster_13 {
@@ -195,7 +195,7 @@ digraph safeCallAndEqualityToBool_kt {
69 [label="Function call: $subj$.R|/check|()"];
70 [label="Exit safe call"];
71 [label="Const: Boolean(true)"];
72 [label="Operator !="];
72 [label="Equality operator !="];
73 [label="Exit when branch condition"];
}
subgraph cluster_20 {
@@ -272,7 +272,7 @@ digraph safeCallAndEqualityToBool_kt {
97 [label="Function call: $subj$.R|/check|()"];
98 [label="Exit safe call"];
99 [label="Const: Boolean(false)"];
100 [label="Operator !="];
100 [label="Equality operator !="];
101 [label="Exit when branch condition"];
}
subgraph cluster_27 {
compiler/fir/analysis-tests/testData/resolve/smartcasts/safeCalls/safeCalls.dot
Vendored
+1 -1
View File
@@ -49,7 +49,7 @@ digraph safeCalls_kt {
15 [label="Access variable R|<local>/x|"];
16 [label="Access variable R|kotlin/String.length|"];
17 [label="Const: Int(1)"];
18 [label="Operator =="];
18 [label="Equality operator =="];
19 [label="Function call: $subj$.R|/foo|(...)"];
20 [label="Exit safe call"];
21 [label="Access variable R|<local>/x|"];
compiler/fir/analysis-tests/testData/resolve/smartcasts/variables/smartcastAfterReassignment.dot
Vendored
+1 -1
View File
@@ -45,7 +45,7 @@ digraph smartcastAfterReassignment_kt {
15 [label="Enter when branch condition "];
16 [label="Access variable R|<local>/x|"];
17 [label="Const: Null(null)"];
18 [label="Operator =="];
18 [label="Equality operator =="];
19 [label="Exit when branch condition"];
}
20 [label="Synthetic else branch"];
compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromLibrary/conditionalEffects.dot
Vendored
+5 -5
View File
@@ -51,7 +51,7 @@ digraph conditionalEffects_kt {
17 [label="Enter contract"];
18 [label="Access variable R|<local>/x|"];
19 [label="Const: Null(null)"];
20 [label="Operator !="];
20 [label="Equality operator !="];
21 [label="Exit contract"];
}
22 [label="Access variable R|<local>/x|"];
@@ -81,14 +81,14 @@ digraph conditionalEffects_kt {
27 [label="Enter block"];
28 [label="Access variable R|<local>/x|"];
29 [label="Const: Null(null)"];
30 [label="Operator !="];
30 [label="Equality operator !="];
31 [label="Function call: R|kotlin/require|(...)"];
subgraph cluster_8 {
color=blue
32 [label="Enter contract"];
33 [label="Access variable R|<local>/x|"];
34 [label="Const: Null(null)"];
35 [label="Operator !="];
35 [label="Equality operator !="];
36 [label="Exit contract"];
}
37 [label="Access variable R|<local>/x|"];
@@ -127,7 +127,7 @@ digraph conditionalEffects_kt {
47 [label="Enter right part of &&"];
48 [label="Access variable R|<local>/y|"];
49 [label="Const: Null(null)"];
50 [label="Operator !="];
50 [label="Equality operator !="];
51 [label="Exit &&"];
}
52 [label="Function call: R|kotlin/require|(...)"];
@@ -143,7 +143,7 @@ digraph conditionalEffects_kt {
58 [label="Enter right part of &&"];
59 [label="Access variable R|<local>/y|"];
60 [label="Const: Null(null)"];
61 [label="Operator !="];
61 [label="Equality operator !="];
62 [label="Exit &&"];
}
63 [label="Exit contract"];
compiler/tests-spec/testData/diagnostics/linked/expressions/when-expression/p-6/neg/11.1.fir.kt
Vendored
+5 -6
View File
@@ -1,13 +1,12 @@
// FIR_IGNORE
// !DIAGNOSTICS: -UNUSED_VALUE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE
// SKIP_TXT
// TESTCASE NUMBER: 1
fun case_1(value_1: Int, value_2: List<Int>): String {
when (value_1) {
<!EXPRESSION_EXPECTED!>while (false) {}<!> -> return ""
<!EXPRESSION_EXPECTED!>do {} while (false)<!> -> return ""
<!EXPRESSION_EXPECTED!>for (value in value_2) {}<!> -> return ""
<!EXPRESSION_REQUIRED!>while (false) {}<!> -> return ""
<!EXPRESSION_REQUIRED!>do {} while (false)<!> -> return ""
for (value in value_2) {} -> return ""
}
return ""
@@ -19,8 +18,8 @@ fun case_4(value_1: Int): String {
var value_3 = 10
when (value_1) {
<!ASSIGNMENT_IN_EXPRESSION_CONTEXT!>value_2 = 10<!> -> return ""
<!ASSIGNMENT_IN_EXPRESSION_CONTEXT!>value_3 %= 10<!> -> return ""
<!EXPRESSION_REQUIRED!>value_2 = 10<!> -> return ""
<!EXPRESSION_REQUIRED!>value_3 %= 10<!> -> return ""
}
return ""