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
536
if (this.
IsConditionalState
)
1900
Debug.Assert(!walker.
IsConditionalState
);
1968
Debug.Assert(!
IsConditionalState
);
2684
Debug.Assert(!
IsConditionalState
);
3045
Debug.Assert(!
IsConditionalState
);
3099
Debug.Assert(!
IsConditionalState
);
3148
if (
IsConditionalState
)
3152
PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.
IsConditionalState
, this.StateWhenTrue, this.StateWhenFalse));
3578
Debug.Assert(!
IsConditionalState
);
3604
Debug.Assert(!
IsConditionalState
);
3718
Debug.Assert(!
IsConditionalState
);
3773
Debug.Assert(!
IsConditionalState
);
4286
Debug.Assert(!
IsConditionalState
);
5030
Debug.Assert(!
IsConditionalState
);
5325
Debug.Assert(!
IsConditionalState
);
5329
Debug.Assert(!
IsConditionalState
);
5359
Debug.Assert(!
IsConditionalState
);
5363
Debug.Assert(!
IsConditionalState
);
5439
Debug.Assert(!
IsConditionalState
);
5570
if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
5586
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
5630
Debug.Assert(!
IsConditionalState
);
5683
Debug.Assert(!
IsConditionalState
);
5813
Debug.Assert(!
IsConditionalState
);
6185
Debug.Assert(!
IsConditionalState
);
6314
Debug.Assert(!
IsConditionalState
);
6337
if (
IsConditionalState
)
6352
Debug.Assert(!
IsConditionalState
);
6424
if (
IsConditionalState
)
6752
=> this.
IsConditionalState
? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable;
7979
if (
IsConditionalState
)
8072
Debug.Assert(!
IsConditionalState
);
8136
Debug.Assert(!
IsConditionalState
);
8154
if (
IsConditionalState
)
8161
if (
IsConditionalState
)
8184
Debug.Assert(!
IsConditionalState
);
8203
Debug.Assert(!this.
IsConditionalState
);
8276
Debug.Assert(!this.
IsConditionalState
);
8450
if (!
IsConditionalState
&& !hasConditionalPostCondition(receiverType, parameterAnnotations, refKind, parameter))
8462
Debug.Assert(!
IsConditionalState
);
8467
Debug.Assert(!
IsConditionalState
);
8567
if (maybeNullWhenTrue && maybeNullWhenFalse && !
IsConditionalState
&& !(notNullWhenTrue && notNullWhenFalse))
8572
&& !
IsConditionalState
9262
trackMembers: !
IsConditionalState
));
9371
Debug.Assert(!
IsConditionalState
);
9819
Debug.Assert(!trackMembers || !
IsConditionalState
);
10431
Debug.Assert(!
IsConditionalState
);
10585
Debug.Assert(!
IsConditionalState
);
11029
Debug.Assert(!
IsConditionalState
);
11206
Debug.Assert(!
IsConditionalState
);
11703
Debug.Assert(!
IsConditionalState
);
11896
Debug.Assert(!
IsConditionalState
);
12245
Debug.Assert(!
IsConditionalState
);
12286
Debug.Assert(!
IsConditionalState
);
12732
Debug.Assert(!
IsConditionalState
);
12740
if (
IsConditionalState
)
12755
if (
IsConditionalState
)
12940
Debug.Assert(
IsConditionalState
);
13094
Debug.Assert(!this.
IsConditionalState
);
13114
Debug.Assert(!this.
IsConditionalState
);
13200
Debug.Assert(!
IsConditionalState
);
13208
Debug.Assert(!
IsConditionalState
);
13294
Debug.Assert(!
IsConditionalState
);
13403
Debug.Assert(!this.
IsConditionalState
);
13831
if (
IsConditionalState
)
FlowAnalysis\NullableWalker_Patterns.cs (7)
37
Debug.Assert(!
IsConditionalState
);
363
return nullableWalker.
IsConditionalState
393
if (!
IsConditionalState
)
462
Debug.Assert(!
IsConditionalState
);
657
Debug.Assert(this.
IsConditionalState
);
887
switch (
IsConditionalState
, stateAndReachable.state.IsConditionalState)
1157
Debug.Assert(!
IsConditionalState
);