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)
370
|| !
IsConditionalState
519
if (this.
IsConditionalState
)
1883
Debug.Assert(!walker.
IsConditionalState
);
1951
Debug.Assert(!
IsConditionalState
);
2649
Debug.Assert(!
IsConditionalState
);
3009
Debug.Assert(!
IsConditionalState
);
3063
Debug.Assert(!
IsConditionalState
);
3112
if (
IsConditionalState
)
3116
PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.
IsConditionalState
, this.StateWhenTrue, this.StateWhenFalse));
3543
Debug.Assert(!
IsConditionalState
);
3569
Debug.Assert(!
IsConditionalState
);
3656
Debug.Assert(!
IsConditionalState
);
3711
Debug.Assert(!
IsConditionalState
);
4091
Debug.Assert(!
IsConditionalState
);
4764
Debug.Assert(!
IsConditionalState
);
5059
Debug.Assert(!
IsConditionalState
);
5063
Debug.Assert(!
IsConditionalState
);
5093
Debug.Assert(!
IsConditionalState
);
5097
Debug.Assert(!
IsConditionalState
);
5173
Debug.Assert(!
IsConditionalState
);
5304
if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
5320
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
5364
Debug.Assert(!
IsConditionalState
);
5417
Debug.Assert(!
IsConditionalState
);
5547
Debug.Assert(!
IsConditionalState
);
5919
Debug.Assert(!
IsConditionalState
);
6046
Debug.Assert(!
IsConditionalState
);
6069
if (
IsConditionalState
)
6084
Debug.Assert(!
IsConditionalState
);
6156
if (
IsConditionalState
)
6484
=> this.
IsConditionalState
? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable;
7703
if (
IsConditionalState
)
7778
Debug.Assert(!
IsConditionalState
);
7842
Debug.Assert(!
IsConditionalState
);
7860
if (
IsConditionalState
)
7867
if (
IsConditionalState
)
7890
Debug.Assert(!
IsConditionalState
);
7909
Debug.Assert(!this.
IsConditionalState
);
7982
Debug.Assert(!this.
IsConditionalState
);
8155
if (!
IsConditionalState
&& !hasConditionalPostCondition(parameterAnnotations))
8167
Debug.Assert(!
IsConditionalState
);
8172
Debug.Assert(!
IsConditionalState
);
8253
if (maybeNullWhenTrue && maybeNullWhenFalse && !
IsConditionalState
&& !(notNullWhenTrue && notNullWhenFalse))
8258
&& !
IsConditionalState
8937
trackMembers: !
IsConditionalState
));
9046
Debug.Assert(!
IsConditionalState
);
9435
Debug.Assert(!trackMembers || !
IsConditionalState
);
10417
Debug.Assert(!
IsConditionalState
);
10594
Debug.Assert(!
IsConditionalState
);
11090
Debug.Assert(!
IsConditionalState
);
11267
Debug.Assert(!
IsConditionalState
);
11604
Debug.Assert(!
IsConditionalState
);
11636
Debug.Assert(!
IsConditionalState
);
12083
Debug.Assert(!
IsConditionalState
);
12091
if (
IsConditionalState
)
12106
if (
IsConditionalState
)
12291
Debug.Assert(
IsConditionalState
);
12447
Debug.Assert(!this.
IsConditionalState
);
12467
Debug.Assert(!this.
IsConditionalState
);
12553
Debug.Assert(!
IsConditionalState
);
12561
Debug.Assert(!
IsConditionalState
);
12647
Debug.Assert(!
IsConditionalState
);
12756
Debug.Assert(!this.
IsConditionalState
);
13130
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
);