2 writes to IsConditionalState
Microsoft.CodeAnalysis.CSharp (2)
FlowAnalysis\AbstractFlowPass.cs (2)
132
IsConditionalState
= true;
142
IsConditionalState
= false;
99 references to IsConditionalState
Microsoft.CodeAnalysis.CSharp (99)
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
)
2684
else if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
2700
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
2937
Debug.Assert(!
IsConditionalState
);
2973
Debug.Assert(!
IsConditionalState
);
2987
if (
IsConditionalState
)
3018
Debug.Assert(!
IsConditionalState
);
3257
Debug.Assert(!this.
IsConditionalState
);
3265
Debug.Assert(!this.
IsConditionalState
);
3310
var conditionalAfterConsequence =
IsConditionalState
;
3314
if (!conditionalAfterConsequence && !
IsConditionalState
)
3368
Debug.Assert(!this.
IsConditionalState
);
3465
Debug.Assert(!this.
IsConditionalState
);
3580
Debug.Assert(this.
IsConditionalState
);
FlowAnalysis\AlwaysAssignedWalker.cs (1)
123
if (this.
IsConditionalState
)
FlowAnalysis\DefiniteAssignment.cs (3)
1154
Debug.Assert(!
IsConditionalState
);
1536
Debug.Assert(!
IsConditionalState
);
1947
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 (64)
351
|| !
IsConditionalState
500
if (this.
IsConditionalState
)
1863
Debug.Assert(!walker.
IsConditionalState
);
1931
Debug.Assert(!
IsConditionalState
);
2629
Debug.Assert(!
IsConditionalState
);
2989
Debug.Assert(!
IsConditionalState
);
3043
Debug.Assert(!
IsConditionalState
);
3092
if (
IsConditionalState
)
3096
PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.
IsConditionalState
, this.StateWhenTrue, this.StateWhenFalse));
3523
Debug.Assert(!
IsConditionalState
);
3549
Debug.Assert(!
IsConditionalState
);
3638
Debug.Assert(!
IsConditionalState
);
3693
Debug.Assert(!
IsConditionalState
);
4073
Debug.Assert(!
IsConditionalState
);
4709
Debug.Assert(!
IsConditionalState
);
5004
Debug.Assert(!
IsConditionalState
);
5008
Debug.Assert(!
IsConditionalState
);
5038
Debug.Assert(!
IsConditionalState
);
5042
Debug.Assert(!
IsConditionalState
);
5118
Debug.Assert(!
IsConditionalState
);
5249
if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
5265
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
5309
Debug.Assert(!
IsConditionalState
);
5362
Debug.Assert(!
IsConditionalState
);
5492
Debug.Assert(!
IsConditionalState
);
5864
Debug.Assert(!
IsConditionalState
);
5991
Debug.Assert(!
IsConditionalState
);
6014
if (
IsConditionalState
)
6029
Debug.Assert(!
IsConditionalState
);
6101
if (
IsConditionalState
)
6429
=> this.
IsConditionalState
? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable;
7607
if (
IsConditionalState
)
7682
Debug.Assert(!
IsConditionalState
);
7746
Debug.Assert(!
IsConditionalState
);
7764
if (
IsConditionalState
)
7771
if (
IsConditionalState
)
7794
Debug.Assert(!
IsConditionalState
);
7813
Debug.Assert(!this.
IsConditionalState
);
7886
Debug.Assert(!this.
IsConditionalState
);
8059
if (!
IsConditionalState
&& !hasConditionalPostCondition(parameterAnnotations))
8071
Debug.Assert(!
IsConditionalState
);
8076
Debug.Assert(!
IsConditionalState
);
8157
if (maybeNullWhenTrue && maybeNullWhenFalse && !
IsConditionalState
&& !(notNullWhenTrue && notNullWhenFalse))
8162
&& !
IsConditionalState
8795
trackMembers: !
IsConditionalState
));
8904
Debug.Assert(!
IsConditionalState
);
9293
Debug.Assert(!trackMembers || !
IsConditionalState
);
10275
Debug.Assert(!
IsConditionalState
);
10452
Debug.Assert(!
IsConditionalState
);
10950
Debug.Assert(!
IsConditionalState
);
11128
Debug.Assert(!
IsConditionalState
);
11466
Debug.Assert(!
IsConditionalState
);
11498
Debug.Assert(!
IsConditionalState
);
11939
Debug.Assert(!
IsConditionalState
);
11947
if (
IsConditionalState
)
11962
if (
IsConditionalState
)
12147
Debug.Assert(
IsConditionalState
);
12303
Debug.Assert(!this.
IsConditionalState
);
12323
Debug.Assert(!this.
IsConditionalState
);
12409
Debug.Assert(!
IsConditionalState
);
12417
Debug.Assert(!
IsConditionalState
);
12503
Debug.Assert(!
IsConditionalState
);
12612
Debug.Assert(!this.
IsConditionalState
);
12986
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
);