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;
7662
if (
IsConditionalState
)
7737
Debug.Assert(!
IsConditionalState
);
7801
Debug.Assert(!
IsConditionalState
);
7819
if (
IsConditionalState
)
7826
if (
IsConditionalState
)
7849
Debug.Assert(!
IsConditionalState
);
7868
Debug.Assert(!this.
IsConditionalState
);
7941
Debug.Assert(!this.
IsConditionalState
);
8114
if (!
IsConditionalState
&& !hasConditionalPostCondition(parameterAnnotations))
8126
Debug.Assert(!
IsConditionalState
);
8131
Debug.Assert(!
IsConditionalState
);
8212
if (maybeNullWhenTrue && maybeNullWhenFalse && !
IsConditionalState
&& !(notNullWhenTrue && notNullWhenFalse))
8217
&& !
IsConditionalState
8896
trackMembers: !
IsConditionalState
));
9005
Debug.Assert(!
IsConditionalState
);
9394
Debug.Assert(!trackMembers || !
IsConditionalState
);
10376
Debug.Assert(!
IsConditionalState
);
10553
Debug.Assert(!
IsConditionalState
);
11051
Debug.Assert(!
IsConditionalState
);
11229
Debug.Assert(!
IsConditionalState
);
11567
Debug.Assert(!
IsConditionalState
);
11599
Debug.Assert(!
IsConditionalState
);
12040
Debug.Assert(!
IsConditionalState
);
12048
if (
IsConditionalState
)
12063
if (
IsConditionalState
)
12248
Debug.Assert(
IsConditionalState
);
12404
Debug.Assert(!this.
IsConditionalState
);
12424
Debug.Assert(!this.
IsConditionalState
);
12510
Debug.Assert(!
IsConditionalState
);
12518
Debug.Assert(!
IsConditionalState
);
12604
Debug.Assert(!
IsConditionalState
);
12713
Debug.Assert(!this.
IsConditionalState
);
13087
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
);