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
)
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)
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
)
1882
Debug.Assert(!walker.
IsConditionalState
);
1950
Debug.Assert(!
IsConditionalState
);
2648
Debug.Assert(!
IsConditionalState
);
3008
Debug.Assert(!
IsConditionalState
);
3062
Debug.Assert(!
IsConditionalState
);
3111
if (
IsConditionalState
)
3115
PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.
IsConditionalState
, this.StateWhenTrue, this.StateWhenFalse));
3541
Debug.Assert(!
IsConditionalState
);
3567
Debug.Assert(!
IsConditionalState
);
3654
Debug.Assert(!
IsConditionalState
);
3709
Debug.Assert(!
IsConditionalState
);
4220
Debug.Assert(!
IsConditionalState
);
4918
Debug.Assert(!
IsConditionalState
);
5213
Debug.Assert(!
IsConditionalState
);
5217
Debug.Assert(!
IsConditionalState
);
5247
Debug.Assert(!
IsConditionalState
);
5251
Debug.Assert(!
IsConditionalState
);
5327
Debug.Assert(!
IsConditionalState
);
5458
if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
5474
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
5518
Debug.Assert(!
IsConditionalState
);
5571
Debug.Assert(!
IsConditionalState
);
5701
Debug.Assert(!
IsConditionalState
);
6073
Debug.Assert(!
IsConditionalState
);
6200
Debug.Assert(!
IsConditionalState
);
6223
if (
IsConditionalState
)
6238
Debug.Assert(!
IsConditionalState
);
6310
if (
IsConditionalState
)
6638
=> this.
IsConditionalState
? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable;
7856
if (
IsConditionalState
)
7931
Debug.Assert(!
IsConditionalState
);
7995
Debug.Assert(!
IsConditionalState
);
8013
if (
IsConditionalState
)
8020
if (
IsConditionalState
)
8043
Debug.Assert(!
IsConditionalState
);
8062
Debug.Assert(!this.
IsConditionalState
);
8135
Debug.Assert(!this.
IsConditionalState
);
8308
if (!
IsConditionalState
&& !hasConditionalPostCondition(parameterAnnotations))
8320
Debug.Assert(!
IsConditionalState
);
8325
Debug.Assert(!
IsConditionalState
);
8406
if (maybeNullWhenTrue && maybeNullWhenFalse && !
IsConditionalState
&& !(notNullWhenTrue && notNullWhenFalse))
8411
&& !
IsConditionalState
9101
trackMembers: !
IsConditionalState
));
9210
Debug.Assert(!
IsConditionalState
);
9599
Debug.Assert(!trackMembers || !
IsConditionalState
);
10152
Debug.Assert(!
IsConditionalState
);
10580
Debug.Assert(!
IsConditionalState
);
10757
Debug.Assert(!
IsConditionalState
);
11253
Debug.Assert(!
IsConditionalState
);
11434
Debug.Assert(!
IsConditionalState
);
11783
Debug.Assert(!
IsConditionalState
);
11815
Debug.Assert(!
IsConditionalState
);
12261
Debug.Assert(!
IsConditionalState
);
12269
if (
IsConditionalState
)
12284
if (
IsConditionalState
)
12469
Debug.Assert(
IsConditionalState
);
12625
Debug.Assert(!this.
IsConditionalState
);
12645
Debug.Assert(!this.
IsConditionalState
);
12731
Debug.Assert(!
IsConditionalState
);
12739
Debug.Assert(!
IsConditionalState
);
12825
Debug.Assert(!
IsConditionalState
);
12934
Debug.Assert(!this.
IsConditionalState
);
13310
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
);