2 writes to IsConditionalState
Microsoft.CodeAnalysis.CSharp (2)
FlowAnalysis\AbstractFlowPass.cs (2)
132
IsConditionalState
= true;
142
IsConditionalState
= false;
102 references to IsConditionalState
Microsoft.CodeAnalysis.CSharp (102)
FlowAnalysis\AbstractFlowPass.cs (21)
148
if (!
IsConditionalState
)
156
if (
IsConditionalState
)
227
return
IsConditionalState
673
Debug.Assert(!this.
IsConditionalState
);
827
Debug.Assert(!this.
IsConditionalState
);
923
Debug.Assert(!
IsConditionalState
);
936
Debug.Assert(!
IsConditionalState
);
941
else if (
IsConditionalState
)
2685
else if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
2701
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
2938
Debug.Assert(!
IsConditionalState
);
2974
Debug.Assert(!
IsConditionalState
);
2988
if (
IsConditionalState
)
3019
Debug.Assert(!
IsConditionalState
);
3258
Debug.Assert(!this.
IsConditionalState
);
3266
Debug.Assert(!this.
IsConditionalState
);
3311
var conditionalAfterConsequence =
IsConditionalState
;
3315
if (!conditionalAfterConsequence && !
IsConditionalState
)
3369
Debug.Assert(!this.
IsConditionalState
);
3466
Debug.Assert(!this.
IsConditionalState
);
3581
Debug.Assert(this.
IsConditionalState
);
FlowAnalysis\AlwaysAssignedWalker.cs (1)
123
if (this.
IsConditionalState
)
FlowAnalysis\DefiniteAssignment.cs (4)
1106
Debug.Assert(!
IsConditionalState
);
1488
Debug.Assert(!
IsConditionalState
);
1899
Debug.Assert(!this.
IsConditionalState
);
2372
Debug.Assert(
IsConditionalState
);
FlowAnalysis\DefiniteAssignment.LocalFunctions.cs (1)
70
Debug.Assert(!
IsConditionalState
);
FlowAnalysis\DefinitelyAssignedWalker.cs (1)
72
if (this.
IsConditionalState
)
FlowAnalysis\LocalDataFlowPass.cs (1)
135
if (
IsConditionalState
)
FlowAnalysis\NullableWalker_Patterns.cs (7)
38
Debug.Assert(!
IsConditionalState
);
364
return nullableWalker.
IsConditionalState
395
if (!
IsConditionalState
)
464
Debug.Assert(!
IsConditionalState
);
659
Debug.Assert(this.
IsConditionalState
);
894
switch (
IsConditionalState
, stateAndReachable.state.IsConditionalState)
1249
Debug.Assert(!
IsConditionalState
);
FlowAnalysis\NullableWalker.cs (66)
370
|| !
IsConditionalState
536
if (this.
IsConditionalState
)
1900
Debug.Assert(!walker.
IsConditionalState
);
1968
Debug.Assert(!
IsConditionalState
);
2672
Debug.Assert(!
IsConditionalState
);
3040
Debug.Assert(!
IsConditionalState
);
3094
Debug.Assert(!
IsConditionalState
);
3143
if (
IsConditionalState
)
3147
PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.
IsConditionalState
, this.StateWhenTrue, this.StateWhenFalse));
3573
Debug.Assert(!
IsConditionalState
);
3599
Debug.Assert(!
IsConditionalState
);
3713
Debug.Assert(!
IsConditionalState
);
3768
Debug.Assert(!
IsConditionalState
);
4281
Debug.Assert(!
IsConditionalState
);
5014
Debug.Assert(!
IsConditionalState
);
5309
Debug.Assert(!
IsConditionalState
);
5313
Debug.Assert(!
IsConditionalState
);
5343
Debug.Assert(!
IsConditionalState
);
5347
Debug.Assert(!
IsConditionalState
);
5423
Debug.Assert(!
IsConditionalState
);
5554
if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
5570
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
5614
Debug.Assert(!
IsConditionalState
);
5667
Debug.Assert(!
IsConditionalState
);
5797
Debug.Assert(!
IsConditionalState
);
6169
Debug.Assert(!
IsConditionalState
);
6298
Debug.Assert(!
IsConditionalState
);
6321
if (
IsConditionalState
)
6336
Debug.Assert(!
IsConditionalState
);
6408
if (
IsConditionalState
)
6736
=> this.
IsConditionalState
? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable;
7992
if (
IsConditionalState
)
8085
Debug.Assert(!
IsConditionalState
);
8149
Debug.Assert(!
IsConditionalState
);
8167
if (
IsConditionalState
)
8174
if (
IsConditionalState
)
8197
Debug.Assert(!
IsConditionalState
);
8216
Debug.Assert(!this.
IsConditionalState
);
8289
Debug.Assert(!this.
IsConditionalState
);
8463
if (!
IsConditionalState
&& !hasConditionalPostCondition(receiverType, parameterAnnotations, refKind, parameter))
8475
Debug.Assert(!
IsConditionalState
);
8480
Debug.Assert(!
IsConditionalState
);
8580
if (maybeNullWhenTrue && maybeNullWhenFalse && !
IsConditionalState
&& !(notNullWhenTrue && notNullWhenFalse))
8585
&& !
IsConditionalState
9275
trackMembers: !
IsConditionalState
));
9384
Debug.Assert(!
IsConditionalState
);
9832
Debug.Assert(!trackMembers || !
IsConditionalState
);
10444
Debug.Assert(!
IsConditionalState
);
10598
Debug.Assert(!
IsConditionalState
);
11048
Debug.Assert(!
IsConditionalState
);
11225
Debug.Assert(!
IsConditionalState
);
11721
Debug.Assert(!
IsConditionalState
);
11914
Debug.Assert(!
IsConditionalState
);
12303
Debug.Assert(!
IsConditionalState
);
12344
Debug.Assert(!
IsConditionalState
);
12790
Debug.Assert(!
IsConditionalState
);
12798
if (
IsConditionalState
)
12813
if (
IsConditionalState
)
12998
Debug.Assert(
IsConditionalState
);
13152
Debug.Assert(!this.
IsConditionalState
);
13172
Debug.Assert(!this.
IsConditionalState
);
13258
Debug.Assert(!
IsConditionalState
);
13266
Debug.Assert(!
IsConditionalState
);
13352
Debug.Assert(!
IsConditionalState
);
13461
Debug.Assert(!this.
IsConditionalState
);
13889
if (
IsConditionalState
)