2 writes to IsConditionalState
Microsoft.CodeAnalysis.CSharp (2)
FlowAnalysis\AbstractFlowPass.cs (2)
133
IsConditionalState
= true;
143
IsConditionalState
= false;
98 references to IsConditionalState
Microsoft.CodeAnalysis.CSharp (98)
FlowAnalysis\AbstractFlowPass.cs (21)
149
if (!
IsConditionalState
)
157
if (
IsConditionalState
)
228
return
IsConditionalState
673
Debug.Assert(!this.
IsConditionalState
);
827
Debug.Assert(!this.
IsConditionalState
);
923
Debug.Assert(!
IsConditionalState
);
936
Debug.Assert(!
IsConditionalState
);
941
else if (
IsConditionalState
)
2656
else if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
2672
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
2909
Debug.Assert(!
IsConditionalState
);
2945
Debug.Assert(!
IsConditionalState
);
2959
if (
IsConditionalState
)
2990
Debug.Assert(!
IsConditionalState
);
3229
Debug.Assert(!this.
IsConditionalState
);
3237
Debug.Assert(!this.
IsConditionalState
);
3282
var conditionalAfterConsequence =
IsConditionalState
;
3286
if (!conditionalAfterConsequence && !
IsConditionalState
)
3340
Debug.Assert(!this.
IsConditionalState
);
3437
Debug.Assert(!this.
IsConditionalState
);
3552
Debug.Assert(this.
IsConditionalState
);
FlowAnalysis\AlwaysAssignedWalker.cs (1)
122
if (this.
IsConditionalState
)
FlowAnalysis\DefiniteAssignment.cs (3)
1153
Debug.Assert(!
IsConditionalState
);
1535
Debug.Assert(!
IsConditionalState
);
1934
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)
345
|| !
IsConditionalState
486
if (this.
IsConditionalState
)
1822
Debug.Assert(!walker.
IsConditionalState
);
1890
Debug.Assert(!
IsConditionalState
);
2588
Debug.Assert(!
IsConditionalState
);
2889
Debug.Assert(!
IsConditionalState
);
2943
Debug.Assert(!
IsConditionalState
);
2992
if (
IsConditionalState
)
2996
PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.
IsConditionalState
, this.StateWhenTrue, this.StateWhenFalse));
3422
Debug.Assert(!
IsConditionalState
);
3448
Debug.Assert(!
IsConditionalState
);
3537
Debug.Assert(!
IsConditionalState
);
3592
Debug.Assert(!
IsConditionalState
);
3918
Debug.Assert(!
IsConditionalState
);
4552
Debug.Assert(!
IsConditionalState
);
4846
Debug.Assert(!
IsConditionalState
);
4850
Debug.Assert(!
IsConditionalState
);
4880
Debug.Assert(!
IsConditionalState
);
4884
Debug.Assert(!
IsConditionalState
);
4960
Debug.Assert(!
IsConditionalState
);
5091
if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
5107
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
5151
Debug.Assert(!
IsConditionalState
);
5240
Debug.Assert(!
IsConditionalState
);
5277
Debug.Assert(!
IsConditionalState
);
5649
Debug.Assert(!
IsConditionalState
);
5776
Debug.Assert(!
IsConditionalState
);
5799
if (
IsConditionalState
)
5814
Debug.Assert(!
IsConditionalState
);
5885
if (
IsConditionalState
)
6213
=> this.
IsConditionalState
? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable;
7220
if (
IsConditionalState
)
7295
Debug.Assert(!
IsConditionalState
);
7359
Debug.Assert(!
IsConditionalState
);
7377
if (
IsConditionalState
)
7384
if (
IsConditionalState
)
7407
Debug.Assert(!
IsConditionalState
);
7426
Debug.Assert(!this.
IsConditionalState
);
7499
Debug.Assert(!this.
IsConditionalState
);
7672
if (!
IsConditionalState
&& !hasConditionalPostCondition(parameterAnnotations))
7684
Debug.Assert(!
IsConditionalState
);
7689
Debug.Assert(!
IsConditionalState
);
7770
if (maybeNullWhenTrue && maybeNullWhenFalse && !
IsConditionalState
&& !(notNullWhenTrue && notNullWhenFalse))
7775
&& !
IsConditionalState
8368
trackMembers: !
IsConditionalState
));
8477
Debug.Assert(!
IsConditionalState
);
8866
Debug.Assert(!trackMembers || !
IsConditionalState
);
9840
Debug.Assert(!
IsConditionalState
);
10005
Debug.Assert(!
IsConditionalState
);
10486
Debug.Assert(!
IsConditionalState
);
10829
Debug.Assert(!
IsConditionalState
);
10860
Debug.Assert(!
IsConditionalState
);
11295
Debug.Assert(!
IsConditionalState
);
11303
if (
IsConditionalState
)
11318
if (
IsConditionalState
)
11426
Debug.Assert(!
IsConditionalState
);
11555
Debug.Assert(!this.
IsConditionalState
);
11575
Debug.Assert(!this.
IsConditionalState
);
11661
Debug.Assert(!
IsConditionalState
);
11669
Debug.Assert(!
IsConditionalState
);
11755
Debug.Assert(!
IsConditionalState
);
11864
Debug.Assert(!this.
IsConditionalState
);
12238
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
);