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
)
2652
else if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
2668
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
2905
Debug.Assert(!
IsConditionalState
);
2941
Debug.Assert(!
IsConditionalState
);
2955
if (
IsConditionalState
)
2986
Debug.Assert(!
IsConditionalState
);
3220
Debug.Assert(!this.
IsConditionalState
);
3228
Debug.Assert(!this.
IsConditionalState
);
3273
var conditionalAfterConsequence =
IsConditionalState
;
3277
if (!conditionalAfterConsequence && !
IsConditionalState
)
3331
Debug.Assert(!this.
IsConditionalState
);
3428
Debug.Assert(!this.
IsConditionalState
);
3543
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
485
if (this.
IsConditionalState
)
1759
Debug.Assert(!walker.
IsConditionalState
);
1827
Debug.Assert(!
IsConditionalState
);
2525
Debug.Assert(!
IsConditionalState
);
2826
Debug.Assert(!
IsConditionalState
);
2880
Debug.Assert(!
IsConditionalState
);
2929
if (
IsConditionalState
)
2933
PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.
IsConditionalState
, this.StateWhenTrue, this.StateWhenFalse));
3359
Debug.Assert(!
IsConditionalState
);
3385
Debug.Assert(!
IsConditionalState
);
3474
Debug.Assert(!
IsConditionalState
);
3529
Debug.Assert(!
IsConditionalState
);
3855
Debug.Assert(!
IsConditionalState
);
4486
Debug.Assert(!
IsConditionalState
);
4780
Debug.Assert(!
IsConditionalState
);
4784
Debug.Assert(!
IsConditionalState
);
4814
Debug.Assert(!
IsConditionalState
);
4818
Debug.Assert(!
IsConditionalState
);
4894
Debug.Assert(!
IsConditionalState
);
5025
if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
5041
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
5085
Debug.Assert(!
IsConditionalState
);
5174
Debug.Assert(!
IsConditionalState
);
5211
Debug.Assert(!
IsConditionalState
);
5583
Debug.Assert(!
IsConditionalState
);
5710
Debug.Assert(!
IsConditionalState
);
5733
if (
IsConditionalState
)
5748
Debug.Assert(!
IsConditionalState
);
5819
if (
IsConditionalState
)
6147
=> this.
IsConditionalState
? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable;
7148
if (
IsConditionalState
)
7223
Debug.Assert(!
IsConditionalState
);
7287
Debug.Assert(!
IsConditionalState
);
7305
if (
IsConditionalState
)
7312
if (
IsConditionalState
)
7335
Debug.Assert(!
IsConditionalState
);
7354
Debug.Assert(!this.
IsConditionalState
);
7427
Debug.Assert(!this.
IsConditionalState
);
7600
if (!
IsConditionalState
&& !hasConditionalPostCondition(parameterAnnotations))
7612
Debug.Assert(!
IsConditionalState
);
7617
Debug.Assert(!
IsConditionalState
);
7698
if (maybeNullWhenTrue && maybeNullWhenFalse && !
IsConditionalState
&& !(notNullWhenTrue && notNullWhenFalse))
7703
&& !
IsConditionalState
8296
trackMembers: !
IsConditionalState
));
8405
Debug.Assert(!
IsConditionalState
);
8794
Debug.Assert(!trackMembers || !
IsConditionalState
);
9768
Debug.Assert(!
IsConditionalState
);
9933
Debug.Assert(!
IsConditionalState
);
10414
Debug.Assert(!
IsConditionalState
);
10757
Debug.Assert(!
IsConditionalState
);
10788
Debug.Assert(!
IsConditionalState
);
11223
Debug.Assert(!
IsConditionalState
);
11231
if (
IsConditionalState
)
11246
if (
IsConditionalState
)
11354
Debug.Assert(!
IsConditionalState
);
11483
Debug.Assert(!this.
IsConditionalState
);
11503
Debug.Assert(!this.
IsConditionalState
);
11589
Debug.Assert(!
IsConditionalState
);
11597
Debug.Assert(!
IsConditionalState
);
11683
Debug.Assert(!
IsConditionalState
);
11792
Debug.Assert(!this.
IsConditionalState
);
12166
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
);