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
)
2663
else if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
2679
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
2916
Debug.Assert(!
IsConditionalState
);
2952
Debug.Assert(!
IsConditionalState
);
2966
if (
IsConditionalState
)
2997
Debug.Assert(!
IsConditionalState
);
3236
Debug.Assert(!this.
IsConditionalState
);
3244
Debug.Assert(!this.
IsConditionalState
);
3289
var conditionalAfterConsequence =
IsConditionalState
;
3293
if (!conditionalAfterConsequence && !
IsConditionalState
)
3347
Debug.Assert(!this.
IsConditionalState
);
3444
Debug.Assert(!this.
IsConditionalState
);
3559
Debug.Assert(this.
IsConditionalState
);
FlowAnalysis\AlwaysAssignedWalker.cs (1)
122
if (this.
IsConditionalState
)
FlowAnalysis\DefiniteAssignment.cs (3)
1168
Debug.Assert(!
IsConditionalState
);
1550
Debug.Assert(!
IsConditionalState
);
1961
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
)
1842
Debug.Assert(!walker.
IsConditionalState
);
1910
Debug.Assert(!
IsConditionalState
);
2608
Debug.Assert(!
IsConditionalState
);
2968
Debug.Assert(!
IsConditionalState
);
3022
Debug.Assert(!
IsConditionalState
);
3071
if (
IsConditionalState
)
3075
PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.
IsConditionalState
, this.StateWhenTrue, this.StateWhenFalse));
3501
Debug.Assert(!
IsConditionalState
);
3527
Debug.Assert(!
IsConditionalState
);
3616
Debug.Assert(!
IsConditionalState
);
3671
Debug.Assert(!
IsConditionalState
);
3997
Debug.Assert(!
IsConditionalState
);
4632
Debug.Assert(!
IsConditionalState
);
4927
Debug.Assert(!
IsConditionalState
);
4931
Debug.Assert(!
IsConditionalState
);
4961
Debug.Assert(!
IsConditionalState
);
4965
Debug.Assert(!
IsConditionalState
);
5041
Debug.Assert(!
IsConditionalState
);
5172
if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
5188
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
5232
Debug.Assert(!
IsConditionalState
);
5321
Debug.Assert(!
IsConditionalState
);
5358
Debug.Assert(!
IsConditionalState
);
5730
Debug.Assert(!
IsConditionalState
);
5857
Debug.Assert(!
IsConditionalState
);
5880
if (
IsConditionalState
)
5895
Debug.Assert(!
IsConditionalState
);
5966
if (
IsConditionalState
)
6294
=> this.
IsConditionalState
? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable;
7309
if (
IsConditionalState
)
7384
Debug.Assert(!
IsConditionalState
);
7448
Debug.Assert(!
IsConditionalState
);
7466
if (
IsConditionalState
)
7473
if (
IsConditionalState
)
7496
Debug.Assert(!
IsConditionalState
);
7515
Debug.Assert(!this.
IsConditionalState
);
7588
Debug.Assert(!this.
IsConditionalState
);
7761
if (!
IsConditionalState
&& !hasConditionalPostCondition(parameterAnnotations))
7773
Debug.Assert(!
IsConditionalState
);
7778
Debug.Assert(!
IsConditionalState
);
7859
if (maybeNullWhenTrue && maybeNullWhenFalse && !
IsConditionalState
&& !(notNullWhenTrue && notNullWhenFalse))
7864
&& !
IsConditionalState
8459
trackMembers: !
IsConditionalState
));
8568
Debug.Assert(!
IsConditionalState
);
8957
Debug.Assert(!trackMembers || !
IsConditionalState
);
9933
Debug.Assert(!
IsConditionalState
);
10099
Debug.Assert(!
IsConditionalState
);
10595
Debug.Assert(!
IsConditionalState
);
10938
Debug.Assert(!
IsConditionalState
);
10969
Debug.Assert(!
IsConditionalState
);
11404
Debug.Assert(!
IsConditionalState
);
11412
if (
IsConditionalState
)
11427
if (
IsConditionalState
)
11535
Debug.Assert(!
IsConditionalState
);
11664
Debug.Assert(!this.
IsConditionalState
);
11684
Debug.Assert(!this.
IsConditionalState
);
11770
Debug.Assert(!
IsConditionalState
);
11778
Debug.Assert(!
IsConditionalState
);
11864
Debug.Assert(!
IsConditionalState
);
11973
Debug.Assert(!this.
IsConditionalState
);
12347
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
);