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
)
2695
else if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
2711
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
2948
Debug.Assert(!
IsConditionalState
);
2984
Debug.Assert(!
IsConditionalState
);
2998
if (
IsConditionalState
)
3029
Debug.Assert(!
IsConditionalState
);
3268
Debug.Assert(!this.
IsConditionalState
);
3276
Debug.Assert(!this.
IsConditionalState
);
3321
var conditionalAfterConsequence =
IsConditionalState
;
3325
if (!conditionalAfterConsequence && !
IsConditionalState
)
3379
Debug.Assert(!this.
IsConditionalState
);
3476
Debug.Assert(!this.
IsConditionalState
);
3600
Debug.Assert(this.
IsConditionalState
);
FlowAnalysis\AlwaysAssignedWalker.cs (1)
123
if (this.
IsConditionalState
)
FlowAnalysis\DefiniteAssignment.cs (4)
1115
Debug.Assert(!
IsConditionalState
);
1497
Debug.Assert(!
IsConditionalState
);
1908
Debug.Assert(!this.
IsConditionalState
);
2381
Debug.Assert(
IsConditionalState
);
FlowAnalysis\DefiniteAssignment.LocalFunctions.cs (1)
70
Debug.Assert(!
IsConditionalState
);
FlowAnalysis\DefinitelyAssignedWalker.cs (1)
72
if (this.
IsConditionalState
)
FlowAnalysis\LocalDataFlowPass.cs (1)
136
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
)
1937
Debug.Assert(!walker.
IsConditionalState
);
2005
Debug.Assert(!
IsConditionalState
);
2721
Debug.Assert(!
IsConditionalState
);
3089
Debug.Assert(!
IsConditionalState
);
3143
Debug.Assert(!
IsConditionalState
);
3192
if (
IsConditionalState
)
3196
PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.
IsConditionalState
, this.StateWhenTrue, this.StateWhenFalse));
3622
Debug.Assert(!
IsConditionalState
);
3648
Debug.Assert(!
IsConditionalState
);
3762
Debug.Assert(!
IsConditionalState
);
3817
Debug.Assert(!
IsConditionalState
);
4330
Debug.Assert(!
IsConditionalState
);
5080
Debug.Assert(!
IsConditionalState
);
5375
Debug.Assert(!
IsConditionalState
);
5379
Debug.Assert(!
IsConditionalState
);
5409
Debug.Assert(!
IsConditionalState
);
5413
Debug.Assert(!
IsConditionalState
);
5489
Debug.Assert(!
IsConditionalState
);
5620
if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
5652
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
5696
Debug.Assert(!
IsConditionalState
);
5749
Debug.Assert(!
IsConditionalState
);
5879
Debug.Assert(!
IsConditionalState
);
6251
Debug.Assert(!
IsConditionalState
);
6380
Debug.Assert(!
IsConditionalState
);
6403
if (
IsConditionalState
)
6418
Debug.Assert(!
IsConditionalState
);
6490
if (
IsConditionalState
)
6818
=> this.
IsConditionalState
? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable;
8081
if (
IsConditionalState
)
8174
Debug.Assert(!
IsConditionalState
);
8238
Debug.Assert(!
IsConditionalState
);
8256
if (
IsConditionalState
)
8263
if (
IsConditionalState
)
8286
Debug.Assert(!
IsConditionalState
);
8305
Debug.Assert(!this.
IsConditionalState
);
8378
Debug.Assert(!this.
IsConditionalState
);
8552
if (!
IsConditionalState
&& !hasConditionalPostCondition(receiverType, parameterAnnotations, refKind, parameter))
8564
Debug.Assert(!
IsConditionalState
);
8569
Debug.Assert(!
IsConditionalState
);
8669
if (maybeNullWhenTrue && maybeNullWhenFalse && !
IsConditionalState
&& !(notNullWhenTrue && notNullWhenFalse))
8674
&& !
IsConditionalState
9364
trackMembers: !
IsConditionalState
));
9473
Debug.Assert(!
IsConditionalState
);
9921
Debug.Assert(!trackMembers || !
IsConditionalState
);
10533
Debug.Assert(!
IsConditionalState
);
10687
Debug.Assert(!
IsConditionalState
);
11137
Debug.Assert(!
IsConditionalState
);
11314
Debug.Assert(!
IsConditionalState
);
11817
Debug.Assert(!
IsConditionalState
);
12010
Debug.Assert(!
IsConditionalState
);
12399
Debug.Assert(!
IsConditionalState
);
12440
Debug.Assert(!
IsConditionalState
);
12895
Debug.Assert(!
IsConditionalState
);
12903
if (
IsConditionalState
)
12918
if (
IsConditionalState
)
13103
Debug.Assert(
IsConditionalState
);
13257
Debug.Assert(!this.
IsConditionalState
);
13277
Debug.Assert(!this.
IsConditionalState
);
13363
Debug.Assert(!
IsConditionalState
);
13371
Debug.Assert(!
IsConditionalState
);
13457
Debug.Assert(!
IsConditionalState
);
13566
Debug.Assert(!this.
IsConditionalState
);
14002
if (
IsConditionalState
)