2 writes to IsConditionalState
Microsoft.CodeAnalysis.CSharp (2)
FlowAnalysis\AbstractFlowPass.cs (2)
133
IsConditionalState
= true;
143
IsConditionalState
= false;
96 references to IsConditionalState
Microsoft.CodeAnalysis.CSharp (96)
FlowAnalysis\AbstractFlowPass.cs (21)
149
if (!
IsConditionalState
)
157
if (
IsConditionalState
)
228
return
IsConditionalState
666
Debug.Assert(!this.
IsConditionalState
);
820
Debug.Assert(!this.
IsConditionalState
);
916
Debug.Assert(!
IsConditionalState
);
929
Debug.Assert(!
IsConditionalState
);
934
else if (
IsConditionalState
)
2460
else if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
2476
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
2713
Debug.Assert(!
IsConditionalState
);
2749
Debug.Assert(!
IsConditionalState
);
2763
if (
IsConditionalState
)
2794
Debug.Assert(!
IsConditionalState
);
3028
Debug.Assert(!this.
IsConditionalState
);
3036
Debug.Assert(!this.
IsConditionalState
);
3081
var conditionalAfterConsequence =
IsConditionalState
;
3085
if (!conditionalAfterConsequence && !
IsConditionalState
)
3139
Debug.Assert(!this.
IsConditionalState
);
3236
Debug.Assert(!this.
IsConditionalState
);
3351
Debug.Assert(this.
IsConditionalState
);
FlowAnalysis\AlwaysAssignedWalker.cs (1)
122
if (this.
IsConditionalState
)
FlowAnalysis\DefiniteAssignment.cs (3)
1109
Debug.Assert(!
IsConditionalState
);
1464
Debug.Assert(!
IsConditionalState
);
1808
Debug.Assert(!this.
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.cs (61)
452
if (this.
IsConditionalState
)
1711
Debug.Assert(!walker.
IsConditionalState
);
1779
Debug.Assert(!
IsConditionalState
);
2458
Debug.Assert(!
IsConditionalState
);
2748
Debug.Assert(!
IsConditionalState
);
2802
Debug.Assert(!
IsConditionalState
);
2851
if (
IsConditionalState
)
2855
PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.
IsConditionalState
, this.StateWhenTrue, this.StateWhenFalse));
3160
Debug.Assert(!
IsConditionalState
);
3186
Debug.Assert(!
IsConditionalState
);
3275
Debug.Assert(!
IsConditionalState
);
3329
Debug.Assert(!
IsConditionalState
);
3454
Debug.Assert(!
IsConditionalState
);
4079
Debug.Assert(!
IsConditionalState
);
4376
Debug.Assert(!
IsConditionalState
);
4380
Debug.Assert(!
IsConditionalState
);
4467
Debug.Assert(!
IsConditionalState
);
4598
if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
4614
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
4640
Debug.Assert(!
IsConditionalState
);
4727
Debug.Assert(!
IsConditionalState
);
4765
Debug.Assert(!
IsConditionalState
);
5122
Debug.Assert(!
IsConditionalState
);
5249
Debug.Assert(!
IsConditionalState
);
5272
if (
IsConditionalState
)
5287
Debug.Assert(!
IsConditionalState
);
5358
if (
IsConditionalState
)
5653
=> this.
IsConditionalState
? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable;
6391
if (
IsConditionalState
)
6459
Debug.Assert(!
IsConditionalState
);
6496
Debug.Assert(!
IsConditionalState
);
6512
if (
IsConditionalState
)
6520
if (
IsConditionalState
)
6541
Debug.Assert(!
IsConditionalState
);
6560
Debug.Assert(!this.
IsConditionalState
);
6633
Debug.Assert(!this.
IsConditionalState
);
6806
if (!
IsConditionalState
&& !hasConditionalPostCondition(parameterAnnotations))
6818
Debug.Assert(!
IsConditionalState
);
6823
Debug.Assert(!
IsConditionalState
);
6904
if (maybeNullWhenTrue && maybeNullWhenFalse && !
IsConditionalState
&& !(notNullWhenTrue && notNullWhenFalse))
6909
&& !
IsConditionalState
7557
Debug.Assert(!
IsConditionalState
);
7926
Debug.Assert(!trackMembers || !
IsConditionalState
);
8446
Debug.Assert(!
IsConditionalState
);
8871
Debug.Assert(!
IsConditionalState
);
9036
Debug.Assert(!
IsConditionalState
);
9530
Debug.Assert(!
IsConditionalState
);
9637
Debug.Assert(!
IsConditionalState
);
9876
Debug.Assert(!
IsConditionalState
);
9907
Debug.Assert(!
IsConditionalState
);
10305
Debug.Assert(!
IsConditionalState
);
10313
if (
IsConditionalState
)
10328
if (
IsConditionalState
)
10436
Debug.Assert(!
IsConditionalState
);
10565
Debug.Assert(!this.
IsConditionalState
);
10587
Debug.Assert(!this.
IsConditionalState
);
10673
Debug.Assert(!
IsConditionalState
);
10681
Debug.Assert(!
IsConditionalState
);
10767
Debug.Assert(!
IsConditionalState
);
10876
Debug.Assert(!this.
IsConditionalState
);
11250
if (
IsConditionalState
)
FlowAnalysis\NullableWalker_Patterns.cs (7)
36
Debug.Assert(!
IsConditionalState
);
323
return nullableWalker.
IsConditionalState
353
if (!
IsConditionalState
)
441
Debug.Assert(!
IsConditionalState
);
668
Debug.Assert(this.
IsConditionalState
);
736
switch (
IsConditionalState
, stateAndReachable.state.IsConditionalState)
1010
Debug.Assert(!
IsConditionalState
);