2 writes to IsConditionalState
Microsoft.CodeAnalysis.CSharp (2)
FlowAnalysis\AbstractFlowPass.cs (2)
132
IsConditionalState
= true;
142
IsConditionalState
= false;
99 references to IsConditionalState
Microsoft.CodeAnalysis.CSharp (99)
FlowAnalysis\AbstractFlowPass.cs (21)
148
if (!
IsConditionalState
)
156
if (
IsConditionalState
)
227
return
IsConditionalState
672
Debug.Assert(!this.
IsConditionalState
);
826
Debug.Assert(!this.
IsConditionalState
);
922
Debug.Assert(!
IsConditionalState
);
935
Debug.Assert(!
IsConditionalState
);
940
else if (
IsConditionalState
)
2683
else if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
2699
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
2936
Debug.Assert(!
IsConditionalState
);
2972
Debug.Assert(!
IsConditionalState
);
2986
if (
IsConditionalState
)
3017
Debug.Assert(!
IsConditionalState
);
3256
Debug.Assert(!this.
IsConditionalState
);
3264
Debug.Assert(!this.
IsConditionalState
);
3309
var conditionalAfterConsequence =
IsConditionalState
;
3313
if (!conditionalAfterConsequence && !
IsConditionalState
)
3367
Debug.Assert(!this.
IsConditionalState
);
3464
Debug.Assert(!this.
IsConditionalState
);
3579
Debug.Assert(this.
IsConditionalState
);
FlowAnalysis\AlwaysAssignedWalker.cs (1)
123
if (this.
IsConditionalState
)
FlowAnalysis\DefiniteAssignment.cs (3)
1154
Debug.Assert(!
IsConditionalState
);
1536
Debug.Assert(!
IsConditionalState
);
1947
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 (64)
351
|| !
IsConditionalState
494
if (this.
IsConditionalState
)
1857
Debug.Assert(!walker.
IsConditionalState
);
1925
Debug.Assert(!
IsConditionalState
);
2623
Debug.Assert(!
IsConditionalState
);
2983
Debug.Assert(!
IsConditionalState
);
3037
Debug.Assert(!
IsConditionalState
);
3086
if (
IsConditionalState
)
3090
PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.
IsConditionalState
, this.StateWhenTrue, this.StateWhenFalse));
3517
Debug.Assert(!
IsConditionalState
);
3543
Debug.Assert(!
IsConditionalState
);
3632
Debug.Assert(!
IsConditionalState
);
3687
Debug.Assert(!
IsConditionalState
);
4067
Debug.Assert(!
IsConditionalState
);
4702
Debug.Assert(!
IsConditionalState
);
4997
Debug.Assert(!
IsConditionalState
);
5001
Debug.Assert(!
IsConditionalState
);
5031
Debug.Assert(!
IsConditionalState
);
5035
Debug.Assert(!
IsConditionalState
);
5111
Debug.Assert(!
IsConditionalState
);
5242
if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
5258
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
5302
Debug.Assert(!
IsConditionalState
);
5355
Debug.Assert(!
IsConditionalState
);
5485
Debug.Assert(!
IsConditionalState
);
5857
Debug.Assert(!
IsConditionalState
);
5984
Debug.Assert(!
IsConditionalState
);
6007
if (
IsConditionalState
)
6022
Debug.Assert(!
IsConditionalState
);
6094
if (
IsConditionalState
)
6422
=> this.
IsConditionalState
? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable;
7604
if (
IsConditionalState
)
7679
Debug.Assert(!
IsConditionalState
);
7743
Debug.Assert(!
IsConditionalState
);
7761
if (
IsConditionalState
)
7768
if (
IsConditionalState
)
7791
Debug.Assert(!
IsConditionalState
);
7810
Debug.Assert(!this.
IsConditionalState
);
7883
Debug.Assert(!this.
IsConditionalState
);
8056
if (!
IsConditionalState
&& !hasConditionalPostCondition(parameterAnnotations))
8068
Debug.Assert(!
IsConditionalState
);
8073
Debug.Assert(!
IsConditionalState
);
8154
if (maybeNullWhenTrue && maybeNullWhenFalse && !
IsConditionalState
&& !(notNullWhenTrue && notNullWhenFalse))
8159
&& !
IsConditionalState
8791
trackMembers: !
IsConditionalState
));
8900
Debug.Assert(!
IsConditionalState
);
9289
Debug.Assert(!trackMembers || !
IsConditionalState
);
10263
Debug.Assert(!
IsConditionalState
);
10440
Debug.Assert(!
IsConditionalState
);
10938
Debug.Assert(!
IsConditionalState
);
11116
Debug.Assert(!
IsConditionalState
);
11448
Debug.Assert(!
IsConditionalState
);
11480
Debug.Assert(!
IsConditionalState
);
11915
Debug.Assert(!
IsConditionalState
);
11923
if (
IsConditionalState
)
11938
if (
IsConditionalState
)
12123
Debug.Assert(
IsConditionalState
);
12279
Debug.Assert(!this.
IsConditionalState
);
12299
Debug.Assert(!this.
IsConditionalState
);
12385
Debug.Assert(!
IsConditionalState
);
12393
Debug.Assert(!
IsConditionalState
);
12479
Debug.Assert(!
IsConditionalState
);
12588
Debug.Assert(!this.
IsConditionalState
);
12962
if (
IsConditionalState
)
FlowAnalysis\NullableWalker_Patterns.cs (7)
36
Debug.Assert(!
IsConditionalState
);
361
return nullableWalker.
IsConditionalState
391
if (!
IsConditionalState
)
479
Debug.Assert(!
IsConditionalState
);
708
Debug.Assert(this.
IsConditionalState
);
776
switch (
IsConditionalState
, stateAndReachable.state.IsConditionalState)
1055
Debug.Assert(!
IsConditionalState
);