2 writes to IsConditionalState
Microsoft.CodeAnalysis.CSharp (2)
FlowAnalysis\AbstractFlowPass.cs (2)
132
IsConditionalState
= true;
142
IsConditionalState
= false;
100 references to IsConditionalState
Microsoft.CodeAnalysis.CSharp (100)
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
)
2683
else if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
2699
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
2936
Debug.Assert(!
IsConditionalState
);
2972
Debug.Assert(!
IsConditionalState
);
2986
if (
IsConditionalState
)
3017
Debug.Assert(!
IsConditionalState
);
3256
Debug.Assert(!this.
IsConditionalState
);
3264
Debug.Assert(!this.
IsConditionalState
);
3309
var conditionalAfterConsequence =
IsConditionalState
;
3313
if (!conditionalAfterConsequence && !
IsConditionalState
)
3367
Debug.Assert(!this.
IsConditionalState
);
3464
Debug.Assert(!this.
IsConditionalState
);
3579
Debug.Assert(this.
IsConditionalState
);
FlowAnalysis\AlwaysAssignedWalker.cs (1)
123
if (this.
IsConditionalState
)
FlowAnalysis\DefiniteAssignment.cs (3)
1105
Debug.Assert(!
IsConditionalState
);
1487
Debug.Assert(!
IsConditionalState
);
1898
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 (65)
370
|| !
IsConditionalState
519
if (this.
IsConditionalState
)
1881
Debug.Assert(!walker.
IsConditionalState
);
1949
Debug.Assert(!
IsConditionalState
);
2647
Debug.Assert(!
IsConditionalState
);
3007
Debug.Assert(!
IsConditionalState
);
3061
Debug.Assert(!
IsConditionalState
);
3110
if (
IsConditionalState
)
3114
PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.
IsConditionalState
, this.StateWhenTrue, this.StateWhenFalse));
3540
Debug.Assert(!
IsConditionalState
);
3566
Debug.Assert(!
IsConditionalState
);
3653
Debug.Assert(!
IsConditionalState
);
3708
Debug.Assert(!
IsConditionalState
);
4087
Debug.Assert(!
IsConditionalState
);
4760
Debug.Assert(!
IsConditionalState
);
5055
Debug.Assert(!
IsConditionalState
);
5059
Debug.Assert(!
IsConditionalState
);
5089
Debug.Assert(!
IsConditionalState
);
5093
Debug.Assert(!
IsConditionalState
);
5169
Debug.Assert(!
IsConditionalState
);
5300
if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
5316
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
5360
Debug.Assert(!
IsConditionalState
);
5413
Debug.Assert(!
IsConditionalState
);
5543
Debug.Assert(!
IsConditionalState
);
5915
Debug.Assert(!
IsConditionalState
);
6042
Debug.Assert(!
IsConditionalState
);
6065
if (
IsConditionalState
)
6080
Debug.Assert(!
IsConditionalState
);
6152
if (
IsConditionalState
)
6480
=> this.
IsConditionalState
? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable;
7699
if (
IsConditionalState
)
7774
Debug.Assert(!
IsConditionalState
);
7838
Debug.Assert(!
IsConditionalState
);
7856
if (
IsConditionalState
)
7863
if (
IsConditionalState
)
7886
Debug.Assert(!
IsConditionalState
);
7905
Debug.Assert(!this.
IsConditionalState
);
7978
Debug.Assert(!this.
IsConditionalState
);
8151
if (!
IsConditionalState
&& !hasConditionalPostCondition(parameterAnnotations))
8163
Debug.Assert(!
IsConditionalState
);
8168
Debug.Assert(!
IsConditionalState
);
8249
if (maybeNullWhenTrue && maybeNullWhenFalse && !
IsConditionalState
&& !(notNullWhenTrue && notNullWhenFalse))
8254
&& !
IsConditionalState
8933
trackMembers: !
IsConditionalState
));
9042
Debug.Assert(!
IsConditionalState
);
9431
Debug.Assert(!trackMembers || !
IsConditionalState
);
9984
Debug.Assert(!
IsConditionalState
);
10412
Debug.Assert(!
IsConditionalState
);
10589
Debug.Assert(!
IsConditionalState
);
11085
Debug.Assert(!
IsConditionalState
);
11262
Debug.Assert(!
IsConditionalState
);
11599
Debug.Assert(!
IsConditionalState
);
11631
Debug.Assert(!
IsConditionalState
);
12076
Debug.Assert(!
IsConditionalState
);
12084
if (
IsConditionalState
)
12099
if (
IsConditionalState
)
12284
Debug.Assert(
IsConditionalState
);
12440
Debug.Assert(!this.
IsConditionalState
);
12460
Debug.Assert(!this.
IsConditionalState
);
12546
Debug.Assert(!
IsConditionalState
);
12554
Debug.Assert(!
IsConditionalState
);
12640
Debug.Assert(!
IsConditionalState
);
12749
Debug.Assert(!this.
IsConditionalState
);
13125
if (
IsConditionalState
)
FlowAnalysis\NullableWalker_Patterns.cs (7)
36
Debug.Assert(!
IsConditionalState
);
361
return nullableWalker.
IsConditionalState
391
if (!
IsConditionalState
)
479
Debug.Assert(!
IsConditionalState
);
710
Debug.Assert(this.
IsConditionalState
);
778
switch (
IsConditionalState
, stateAndReachable.state.IsConditionalState)
1057
Debug.Assert(!
IsConditionalState
);