diff --git a/compiler/fir/analysis-tests/testData/resolve/cfg/complex.dot b/compiler/fir/analysis-tests/testData/resolve/cfg/complex.dot index 5c67c177bdf..e09dd9ad03f 100644 --- a/compiler/fir/analysis-tests/testData/resolve/cfg/complex.dot +++ b/compiler/fir/analysis-tests/testData/resolve/cfg/complex.dot @@ -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|/cause|"]; 18 [label="Const: Null(null)"]; - 19 [label="Operator =="]; + 19 [label="Equality operator =="]; 20 [label="Exit when branch condition"]; } subgraph cluster_9 { diff --git a/compiler/fir/analysis-tests/testData/resolve/cfg/jumps.dot b/compiler/fir/analysis-tests/testData/resolve/cfg/jumps.dot index 203a7982e59..bb298f57985 100644 --- a/compiler/fir/analysis-tests/testData/resolve/cfg/jumps.dot +++ b/compiler/fir/analysis-tests/testData/resolve/cfg/jumps.dot @@ -17,7 +17,7 @@ digraph jumps_kt { 3 [label="Enter when branch condition "]; 4 [label="Access variable R|/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|/x|"]; 35 [label="Const: Null(null)"]; - 36 [label="Operator =="]; + 36 [label="Equality operator =="]; 37 [label="Exit when branch condition"]; } subgraph cluster_11 { diff --git a/compiler/fir/analysis-tests/testData/resolve/cfg/when.dot b/compiler/fir/analysis-tests/testData/resolve/cfg/when.dot index b0a5d08e7b7..beca20c2139 100644 --- a/compiler/fir/analysis-tests/testData/resolve/cfg/when.dot +++ b/compiler/fir/analysis-tests/testData/resolve/cfg/when.dot @@ -17,7 +17,7 @@ digraph when_kt { 3 [label="Enter when branch condition "]; 4 [label="Access variable R|/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|/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 { diff --git a/compiler/fir/analysis-tests/testData/resolve/exhaustiveWhenAndDNNType.dot b/compiler/fir/analysis-tests/testData/resolve/exhaustiveWhenAndDNNType.dot index f74c6d1b349..73bcaf4a32e 100644 --- a/compiler/fir/analysis-tests/testData/resolve/exhaustiveWhenAndDNNType.dot +++ b/compiler/fir/analysis-tests/testData/resolve/exhaustiveWhenAndDNNType.dot @@ -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"]; diff --git a/compiler/fir/analysis-tests/testData/resolve/smartcasts/booleans/booleanOperators.dot b/compiler/fir/analysis-tests/testData/resolve/smartcasts/booleans/booleanOperators.dot index 83709958aba..9704312a802 100644 --- a/compiler/fir/analysis-tests/testData/resolve/smartcasts/booleans/booleanOperators.dot +++ b/compiler/fir/analysis-tests/testData/resolve/smartcasts/booleans/booleanOperators.dot @@ -269,7 +269,7 @@ digraph booleanOperators_kt { 95 [label="Access variable R|/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"]; diff --git a/compiler/fir/analysis-tests/testData/resolve/smartcasts/booleans/equalsToBoolean.dot b/compiler/fir/analysis-tests/testData/resolve/smartcasts/booleans/equalsToBoolean.dot index 32932dc8a45..1737abc42e4 100644 --- a/compiler/fir/analysis-tests/testData/resolve/smartcasts/booleans/equalsToBoolean.dot +++ b/compiler/fir/analysis-tests/testData/resolve/smartcasts/booleans/equalsToBoolean.dot @@ -38,9 +38,9 @@ digraph equalsToBoolean_kt { 9 [label="Enter when branch condition "]; 10 [label="Access variable R|/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|/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|/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|/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|/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|/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|/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|/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 { diff --git a/compiler/fir/analysis-tests/testData/resolve/smartcasts/booleans/jumpFromRhsOfOperator.dot b/compiler/fir/analysis-tests/testData/resolve/smartcasts/booleans/jumpFromRhsOfOperator.dot index bef19c451a3..ac24806a22a 100644 --- a/compiler/fir/analysis-tests/testData/resolve/smartcasts/booleans/jumpFromRhsOfOperator.dot +++ b/compiler/fir/analysis-tests/testData/resolve/smartcasts/booleans/jumpFromRhsOfOperator.dot @@ -28,7 +28,7 @@ digraph jumpFromRhsOfOperator_kt { 6 [label="Enter ||"]; 7 [label="Access variable R|/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|/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|/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|/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|/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|/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|/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|/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|()"]; diff --git a/compiler/fir/analysis-tests/testData/resolve/smartcasts/boundSmartcasts/boundSmartcastsInBranches.dot b/compiler/fir/analysis-tests/testData/resolve/smartcasts/boundSmartcasts/boundSmartcastsInBranches.dot index 7a9ee6b4860..eaa3698a9db 100644 --- a/compiler/fir/analysis-tests/testData/resolve/smartcasts/boundSmartcasts/boundSmartcastsInBranches.dot +++ b/compiler/fir/analysis-tests/testData/resolve/smartcasts/boundSmartcasts/boundSmartcastsInBranches.dot @@ -73,7 +73,7 @@ digraph boundSmartcastsInBranches_kt { 28 [label="Enter when branch condition "]; 29 [label="Access variable R|/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|/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|/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|/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|/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|/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|/z|"]; 304 [label="Const: Null(null)"]; - 305 [label="Operator !="]; + 305 [label="Equality operator !="]; 306 [label="Exit when branch condition"]; } 307 [label="Synthetic else branch"]; diff --git a/compiler/fir/analysis-tests/testData/resolve/smartcasts/boundSmartcasts/functionCallBound.dot b/compiler/fir/analysis-tests/testData/resolve/smartcasts/boundSmartcasts/functionCallBound.dot index 3d156931027..5e1e50761c0 100644 --- a/compiler/fir/analysis-tests/testData/resolve/smartcasts/boundSmartcasts/functionCallBound.dot +++ b/compiler/fir/analysis-tests/testData/resolve/smartcasts/boundSmartcasts/functionCallBound.dot @@ -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 { diff --git a/compiler/fir/analysis-tests/testData/resolve/smartcasts/casts.dot b/compiler/fir/analysis-tests/testData/resolve/smartcasts/casts.dot index d3c46711b2e..91f3f1cae39 100644 --- a/compiler/fir/analysis-tests/testData/resolve/smartcasts/casts.dot +++ b/compiler/fir/analysis-tests/testData/resolve/smartcasts/casts.dot @@ -131,7 +131,7 @@ digraph casts_kt { 55 [label="Access variable R|/x|"]; 56 [label="Type operator: (R|/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|/b|"]; 98 [label="Type operator: (R|/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|/b|"]; 122 [label="Type operator: (R|/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 { diff --git a/compiler/fir/analysis-tests/testData/resolve/smartcasts/controlStructures/when.dot b/compiler/fir/analysis-tests/testData/resolve/smartcasts/controlStructures/when.dot index 82dcf7a11b9..fd872538422 100644 --- a/compiler/fir/analysis-tests/testData/resolve/smartcasts/controlStructures/when.dot +++ b/compiler/fir/analysis-tests/testData/resolve/smartcasts/controlStructures/when.dot @@ -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"]; diff --git a/compiler/fir/analysis-tests/testData/resolve/smartcasts/equalsAndIdentity.dot b/compiler/fir/analysis-tests/testData/resolve/smartcasts/equalsAndIdentity.dot index 3cefed555ff..7b415486a91 100644 --- a/compiler/fir/analysis-tests/testData/resolve/smartcasts/equalsAndIdentity.dot +++ b/compiler/fir/analysis-tests/testData/resolve/smartcasts/equalsAndIdentity.dot @@ -31,7 +31,7 @@ digraph equalsAndIdentity_kt { 7 [label="Enter when branch condition "]; 8 [label="Access variable R|/x|"]; 9 [label="Access variable R|/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|/x|"]; 25 [label="Access variable R|/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|/x|"]; 45 [label="Access variable R|/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|/x|"]; 61 [label="Access variable R|/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|/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|/x|"]; 95 [label="Access variable R|/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|/x|"]; 111 [label="Access variable R|/y|"]; - 112 [label="Operator ==="]; + 112 [label="Equality operator ==="]; 113 [label="Exit when branch condition"]; } 114 [label="Synthetic else branch"]; diff --git a/compiler/fir/analysis-tests/testData/resolve/smartcasts/lambdas/smartcastOnLambda.dot b/compiler/fir/analysis-tests/testData/resolve/smartcasts/lambdas/smartcastOnLambda.dot index 8873ee0fdb9..24b748b1a0c 100644 --- a/compiler/fir/analysis-tests/testData/resolve/smartcasts/lambdas/smartcastOnLambda.dot +++ b/compiler/fir/analysis-tests/testData/resolve/smartcasts/lambdas/smartcastOnLambda.dot @@ -17,7 +17,7 @@ digraph smartcastOnLambda_kt { 3 [label="Enter when branch condition "]; 4 [label="Access variable R|/func|"]; 5 [label="Const: Null(null)"]; - 6 [label="Operator !="]; + 6 [label="Equality operator !="]; 7 [label="Exit when branch condition"]; } 8 [label="Synthetic else branch"]; diff --git a/compiler/fir/analysis-tests/testData/resolve/smartcasts/nullability.dot b/compiler/fir/analysis-tests/testData/resolve/smartcasts/nullability.dot index bd60e451d01..59b82a8be7a 100644 --- a/compiler/fir/analysis-tests/testData/resolve/smartcasts/nullability.dot +++ b/compiler/fir/analysis-tests/testData/resolve/smartcasts/nullability.dot @@ -251,7 +251,7 @@ digraph nullability_kt { 76 [label="Enter when branch condition "]; 77 [label="Access variable R|/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|/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|/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|/a|"]; 283 [label="Access variable R|/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|/a|"]; 299 [label="Access variable R|/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|/b|"]; 315 [label="Access variable R|/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|/b|"]; 331 [label="Access variable R|/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|/a|"]; 351 [label="Access variable R|/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|/a|"]; 367 [label="Access variable R|/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|/b|"]; 383 [label="Access variable R|/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|/b|"]; 399 [label="Access variable R|/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|/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"]; diff --git a/compiler/fir/analysis-tests/testData/resolve/smartcasts/safeCalls/assignSafeCall.dot b/compiler/fir/analysis-tests/testData/resolve/smartcasts/safeCalls/assignSafeCall.dot index cf9e34bfdb5..a61f277b5c0 100644 --- a/compiler/fir/analysis-tests/testData/resolve/smartcasts/safeCalls/assignSafeCall.dot +++ b/compiler/fir/analysis-tests/testData/resolve/smartcasts/safeCalls/assignSafeCall.dot @@ -89,7 +89,7 @@ digraph assignSafeCall_kt { 29 [label="Enter when branch condition "]; 30 [label="Access variable R|/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|/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|/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|/x|"]; 125 [label="Const: Null(null)"]; - 126 [label="Operator !="]; + 126 [label="Equality operator !="]; 127 [label="Exit when branch condition"]; } 128 [label="Synthetic else branch"]; diff --git a/compiler/fir/analysis-tests/testData/resolve/smartcasts/safeCalls/safeCallAndEqualityToBool.dot b/compiler/fir/analysis-tests/testData/resolve/smartcasts/safeCalls/safeCallAndEqualityToBool.dot index 9a22cbf9c20..ecc021b81e7 100644 --- a/compiler/fir/analysis-tests/testData/resolve/smartcasts/safeCalls/safeCallAndEqualityToBool.dot +++ b/compiler/fir/analysis-tests/testData/resolve/smartcasts/safeCalls/safeCallAndEqualityToBool.dot @@ -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 { diff --git a/compiler/fir/analysis-tests/testData/resolve/smartcasts/safeCalls/safeCalls.dot b/compiler/fir/analysis-tests/testData/resolve/smartcasts/safeCalls/safeCalls.dot index 9b1844d4de9..06114a7a9f0 100644 --- a/compiler/fir/analysis-tests/testData/resolve/smartcasts/safeCalls/safeCalls.dot +++ b/compiler/fir/analysis-tests/testData/resolve/smartcasts/safeCalls/safeCalls.dot @@ -49,7 +49,7 @@ digraph safeCalls_kt { 15 [label="Access variable R|/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|/x|"]; diff --git a/compiler/fir/analysis-tests/testData/resolve/smartcasts/variables/smartcastAfterReassignment.dot b/compiler/fir/analysis-tests/testData/resolve/smartcasts/variables/smartcastAfterReassignment.dot index b027af358ba..ad282a50bce 100644 --- a/compiler/fir/analysis-tests/testData/resolve/smartcasts/variables/smartcastAfterReassignment.dot +++ b/compiler/fir/analysis-tests/testData/resolve/smartcasts/variables/smartcastAfterReassignment.dot @@ -45,7 +45,7 @@ digraph smartcastAfterReassignment_kt { 15 [label="Enter when branch condition "]; 16 [label="Access variable R|/x|"]; 17 [label="Const: Null(null)"]; - 18 [label="Operator =="]; + 18 [label="Equality operator =="]; 19 [label="Exit when branch condition"]; } 20 [label="Synthetic else branch"]; diff --git a/compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromLibrary/conditionalEffects.dot b/compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromLibrary/conditionalEffects.dot index cfc898977d2..7b03d54defa 100644 --- a/compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromLibrary/conditionalEffects.dot +++ b/compiler/fir/analysis-tests/testData/resolveWithStdlib/contracts/fromLibrary/conditionalEffects.dot @@ -51,7 +51,7 @@ digraph conditionalEffects_kt { 17 [label="Enter contract"]; 18 [label="Access variable R|/x|"]; 19 [label="Const: Null(null)"]; - 20 [label="Operator !="]; + 20 [label="Equality operator !="]; 21 [label="Exit contract"]; } 22 [label="Access variable R|/x|"]; @@ -81,14 +81,14 @@ digraph conditionalEffects_kt { 27 [label="Enter block"]; 28 [label="Access variable R|/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|/x|"]; 34 [label="Const: Null(null)"]; - 35 [label="Operator !="]; + 35 [label="Equality operator !="]; 36 [label="Exit contract"]; } 37 [label="Access variable R|/x|"]; @@ -127,7 +127,7 @@ digraph conditionalEffects_kt { 47 [label="Enter right part of &&"]; 48 [label="Access variable R|/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|/y|"]; 60 [label="Const: Null(null)"]; - 61 [label="Operator !="]; + 61 [label="Equality operator !="]; 62 [label="Exit &&"]; } 63 [label="Exit contract"]; diff --git a/compiler/tests-spec/testData/diagnostics/linked/expressions/when-expression/p-6/neg/11.1.fir.kt b/compiler/tests-spec/testData/diagnostics/linked/expressions/when-expression/p-6/neg/11.1.fir.kt index 27dbf1853e4..54f9d0f56ae 100644 --- a/compiler/tests-spec/testData/diagnostics/linked/expressions/when-expression/p-6/neg/11.1.fir.kt +++ b/compiler/tests-spec/testData/diagnostics/linked/expressions/when-expression/p-6/neg/11.1.fir.kt @@ -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): String { when (value_1) { - while (false) {} -> return "" - do {} while (false) -> return "" - for (value in value_2) {} -> return "" + while (false) {} -> return "" + 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) { - value_2 = 10 -> return "" - value_3 %= 10 -> return "" + value_2 = 10 -> return "" + value_3 %= 10 -> return "" } return ""