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