2 writes to IsConditionalState
Microsoft.CodeAnalysis.CSharp (2)
FlowAnalysis\AbstractFlowPass.cs (2)
132
IsConditionalState
= true;
142
IsConditionalState
= false;
98 references to IsConditionalState
Microsoft.CodeAnalysis.CSharp (98)
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
)
2662
else if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
2678
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
2915
Debug.Assert(!
IsConditionalState
);
2951
Debug.Assert(!
IsConditionalState
);
2965
if (
IsConditionalState
)
2996
Debug.Assert(!
IsConditionalState
);
3235
Debug.Assert(!this.
IsConditionalState
);
3243
Debug.Assert(!this.
IsConditionalState
);
3288
var conditionalAfterConsequence =
IsConditionalState
;
3292
if (!conditionalAfterConsequence && !
IsConditionalState
)
3346
Debug.Assert(!this.
IsConditionalState
);
3443
Debug.Assert(!this.
IsConditionalState
);
3558
Debug.Assert(this.
IsConditionalState
);
FlowAnalysis\AlwaysAssignedWalker.cs (1)
123
if (this.
IsConditionalState
)
FlowAnalysis\DefiniteAssignment.cs (3)
1153
Debug.Assert(!
IsConditionalState
);
1535
Debug.Assert(!
IsConditionalState
);
1946
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 (63)
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
);
4013
Debug.Assert(!
IsConditionalState
);
4648
Debug.Assert(!
IsConditionalState
);
4943
Debug.Assert(!
IsConditionalState
);
4947
Debug.Assert(!
IsConditionalState
);
4977
Debug.Assert(!
IsConditionalState
);
4981
Debug.Assert(!
IsConditionalState
);
5057
Debug.Assert(!
IsConditionalState
);
5188
if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
5204
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
5248
Debug.Assert(!
IsConditionalState
);
5302
Debug.Assert(!
IsConditionalState
);
5369
Debug.Assert(!
IsConditionalState
);
5741
Debug.Assert(!
IsConditionalState
);
5868
Debug.Assert(!
IsConditionalState
);
5891
if (
IsConditionalState
)
5906
Debug.Assert(!
IsConditionalState
);
5978
if (
IsConditionalState
)
6306
=> this.
IsConditionalState
? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable;
7455
if (
IsConditionalState
)
7530
Debug.Assert(!
IsConditionalState
);
7594
Debug.Assert(!
IsConditionalState
);
7612
if (
IsConditionalState
)
7619
if (
IsConditionalState
)
7642
Debug.Assert(!
IsConditionalState
);
7661
Debug.Assert(!this.
IsConditionalState
);
7734
Debug.Assert(!this.
IsConditionalState
);
7907
if (!
IsConditionalState
&& !hasConditionalPostCondition(parameterAnnotations))
7919
Debug.Assert(!
IsConditionalState
);
7924
Debug.Assert(!
IsConditionalState
);
8005
if (maybeNullWhenTrue && maybeNullWhenFalse && !
IsConditionalState
&& !(notNullWhenTrue && notNullWhenFalse))
8010
&& !
IsConditionalState
8642
trackMembers: !
IsConditionalState
));
8751
Debug.Assert(!
IsConditionalState
);
9140
Debug.Assert(!trackMembers || !
IsConditionalState
);
10114
Debug.Assert(!
IsConditionalState
);
10291
Debug.Assert(!
IsConditionalState
);
10789
Debug.Assert(!
IsConditionalState
);
11194
Debug.Assert(!
IsConditionalState
);
11226
Debug.Assert(!
IsConditionalState
);
11661
Debug.Assert(!
IsConditionalState
);
11669
if (
IsConditionalState
)
11684
if (
IsConditionalState
)
11792
Debug.Assert(!
IsConditionalState
);
11921
Debug.Assert(!this.
IsConditionalState
);
11941
Debug.Assert(!this.
IsConditionalState
);
12027
Debug.Assert(!
IsConditionalState
);
12035
Debug.Assert(!
IsConditionalState
);
12121
Debug.Assert(!
IsConditionalState
);
12230
Debug.Assert(!this.
IsConditionalState
);
12604
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
);