2 writes to IsConditionalState
Microsoft.CodeAnalysis.CSharp (2)
FlowAnalysis\AbstractFlowPass.cs (2)
132
IsConditionalState
= true;
142
IsConditionalState
= false;
101 references to IsConditionalState
Microsoft.CodeAnalysis.CSharp (101)
FlowAnalysis\AbstractFlowPass.cs (21)
148
if (!
IsConditionalState
)
156
if (
IsConditionalState
)
227
return
IsConditionalState
673
Debug.Assert(!this.
IsConditionalState
);
827
Debug.Assert(!this.
IsConditionalState
);
923
Debug.Assert(!
IsConditionalState
);
984
Debug.Assert(!
IsConditionalState
);
989
else if (
IsConditionalState
)
2733
else if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
2749
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
2986
Debug.Assert(!
IsConditionalState
);
3022
Debug.Assert(!
IsConditionalState
);
3036
if (
IsConditionalState
)
3067
Debug.Assert(!
IsConditionalState
);
3306
Debug.Assert(!this.
IsConditionalState
);
3314
Debug.Assert(!this.
IsConditionalState
);
3359
var conditionalAfterConsequence =
IsConditionalState
;
3363
if (!conditionalAfterConsequence && !
IsConditionalState
)
3417
Debug.Assert(!this.
IsConditionalState
);
3514
Debug.Assert(!this.
IsConditionalState
);
3629
Debug.Assert(this.
IsConditionalState
);
FlowAnalysis\AlwaysAssignedWalker.cs (1)
123
if (this.
IsConditionalState
)
FlowAnalysis\DefiniteAssignment.cs (3)
1106
Debug.Assert(!
IsConditionalState
);
1488
Debug.Assert(!
IsConditionalState
);
1899
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 (66)
370
|| !
IsConditionalState
519
if (this.
IsConditionalState
)
1883
Debug.Assert(!walker.
IsConditionalState
);
1951
Debug.Assert(!
IsConditionalState
);
2648
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));
3542
Debug.Assert(!
IsConditionalState
);
3568
Debug.Assert(!
IsConditionalState
);
3682
Debug.Assert(!
IsConditionalState
);
3737
Debug.Assert(!
IsConditionalState
);
4248
Debug.Assert(!
IsConditionalState
);
4990
Debug.Assert(!
IsConditionalState
);
5285
Debug.Assert(!
IsConditionalState
);
5289
Debug.Assert(!
IsConditionalState
);
5319
Debug.Assert(!
IsConditionalState
);
5323
Debug.Assert(!
IsConditionalState
);
5399
Debug.Assert(!
IsConditionalState
);
5530
if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
5546
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
5590
Debug.Assert(!
IsConditionalState
);
5643
Debug.Assert(!
IsConditionalState
);
5773
Debug.Assert(!
IsConditionalState
);
6145
Debug.Assert(!
IsConditionalState
);
6274
Debug.Assert(!
IsConditionalState
);
6297
if (
IsConditionalState
)
6312
Debug.Assert(!
IsConditionalState
);
6384
if (
IsConditionalState
)
6712
=> this.
IsConditionalState
? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable;
7930
if (
IsConditionalState
)
8030
Debug.Assert(!
IsConditionalState
);
8094
Debug.Assert(!
IsConditionalState
);
8112
if (
IsConditionalState
)
8119
if (
IsConditionalState
)
8142
Debug.Assert(!
IsConditionalState
);
8161
Debug.Assert(!this.
IsConditionalState
);
8234
Debug.Assert(!this.
IsConditionalState
);
8407
if (!
IsConditionalState
&& !hasConditionalPostCondition(parameterAnnotations, refKind, parameter))
8419
Debug.Assert(!
IsConditionalState
);
8424
Debug.Assert(!
IsConditionalState
);
8530
if (maybeNullWhenTrue && maybeNullWhenFalse && !
IsConditionalState
&& !(notNullWhenTrue && notNullWhenFalse))
8535
&& !
IsConditionalState
9225
trackMembers: !
IsConditionalState
));
9334
Debug.Assert(!
IsConditionalState
);
9783
Debug.Assert(!trackMembers || !
IsConditionalState
);
10396
Debug.Assert(!
IsConditionalState
);
10544
Debug.Assert(!
IsConditionalState
);
10979
Debug.Assert(!
IsConditionalState
);
11156
Debug.Assert(!
IsConditionalState
);
11652
Debug.Assert(!
IsConditionalState
);
11841
Debug.Assert(!
IsConditionalState
);
12190
Debug.Assert(!
IsConditionalState
);
12231
Debug.Assert(!
IsConditionalState
);
12677
Debug.Assert(!
IsConditionalState
);
12685
if (
IsConditionalState
)
12700
if (
IsConditionalState
)
12885
Debug.Assert(
IsConditionalState
);
13039
Debug.Assert(!this.
IsConditionalState
);
13059
Debug.Assert(!this.
IsConditionalState
);
13145
Debug.Assert(!
IsConditionalState
);
13153
Debug.Assert(!
IsConditionalState
);
13239
Debug.Assert(!
IsConditionalState
);
13348
Debug.Assert(!this.
IsConditionalState
);
13775
if (
IsConditionalState
)
FlowAnalysis\NullableWalker_Patterns.cs (7)
36
Debug.Assert(!
IsConditionalState
);
361
return nullableWalker.
IsConditionalState
391
if (!
IsConditionalState
)
460
Debug.Assert(!
IsConditionalState
);
655
Debug.Assert(this.
IsConditionalState
);
885
switch (
IsConditionalState
, stateAndReachable.state.IsConditionalState)
1155
Debug.Assert(!
IsConditionalState
);