2 writes to IsConditionalState
Microsoft.CodeAnalysis.CSharp (2)
FlowAnalysis\AbstractFlowPass.cs (2)
133
IsConditionalState
= true;
143
IsConditionalState
= false;
98 references to IsConditionalState
Microsoft.CodeAnalysis.CSharp (98)
FlowAnalysis\AbstractFlowPass.cs (21)
149
if (!
IsConditionalState
)
157
if (
IsConditionalState
)
228
return
IsConditionalState
673
Debug.Assert(!this.
IsConditionalState
);
827
Debug.Assert(!this.
IsConditionalState
);
923
Debug.Assert(!
IsConditionalState
);
936
Debug.Assert(!
IsConditionalState
);
941
else if (
IsConditionalState
)
2656
else if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
2672
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
2909
Debug.Assert(!
IsConditionalState
);
2945
Debug.Assert(!
IsConditionalState
);
2959
if (
IsConditionalState
)
2990
Debug.Assert(!
IsConditionalState
);
3224
Debug.Assert(!this.
IsConditionalState
);
3232
Debug.Assert(!this.
IsConditionalState
);
3277
var conditionalAfterConsequence =
IsConditionalState
;
3281
if (!conditionalAfterConsequence && !
IsConditionalState
)
3335
Debug.Assert(!this.
IsConditionalState
);
3432
Debug.Assert(!this.
IsConditionalState
);
3547
Debug.Assert(this.
IsConditionalState
);
FlowAnalysis\AlwaysAssignedWalker.cs (1)
122
if (this.
IsConditionalState
)
FlowAnalysis\DefiniteAssignment.cs (3)
1153
Debug.Assert(!
IsConditionalState
);
1535
Debug.Assert(!
IsConditionalState
);
1934
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 (63)
345
|| !
IsConditionalState
486
if (this.
IsConditionalState
)
1820
Debug.Assert(!walker.
IsConditionalState
);
1888
Debug.Assert(!
IsConditionalState
);
2586
Debug.Assert(!
IsConditionalState
);
2887
Debug.Assert(!
IsConditionalState
);
2941
Debug.Assert(!
IsConditionalState
);
2990
if (
IsConditionalState
)
2994
PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.
IsConditionalState
, this.StateWhenTrue, this.StateWhenFalse));
3420
Debug.Assert(!
IsConditionalState
);
3446
Debug.Assert(!
IsConditionalState
);
3535
Debug.Assert(!
IsConditionalState
);
3590
Debug.Assert(!
IsConditionalState
);
3916
Debug.Assert(!
IsConditionalState
);
4547
Debug.Assert(!
IsConditionalState
);
4841
Debug.Assert(!
IsConditionalState
);
4845
Debug.Assert(!
IsConditionalState
);
4875
Debug.Assert(!
IsConditionalState
);
4879
Debug.Assert(!
IsConditionalState
);
4955
Debug.Assert(!
IsConditionalState
);
5086
if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
5102
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
5146
Debug.Assert(!
IsConditionalState
);
5235
Debug.Assert(!
IsConditionalState
);
5272
Debug.Assert(!
IsConditionalState
);
5644
Debug.Assert(!
IsConditionalState
);
5771
Debug.Assert(!
IsConditionalState
);
5794
if (
IsConditionalState
)
5809
Debug.Assert(!
IsConditionalState
);
5880
if (
IsConditionalState
)
6208
=> this.
IsConditionalState
? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable;
7209
if (
IsConditionalState
)
7284
Debug.Assert(!
IsConditionalState
);
7348
Debug.Assert(!
IsConditionalState
);
7366
if (
IsConditionalState
)
7373
if (
IsConditionalState
)
7396
Debug.Assert(!
IsConditionalState
);
7415
Debug.Assert(!this.
IsConditionalState
);
7488
Debug.Assert(!this.
IsConditionalState
);
7661
if (!
IsConditionalState
&& !hasConditionalPostCondition(parameterAnnotations))
7673
Debug.Assert(!
IsConditionalState
);
7678
Debug.Assert(!
IsConditionalState
);
7759
if (maybeNullWhenTrue && maybeNullWhenFalse && !
IsConditionalState
&& !(notNullWhenTrue && notNullWhenFalse))
7764
&& !
IsConditionalState
8357
trackMembers: !
IsConditionalState
));
8466
Debug.Assert(!
IsConditionalState
);
8855
Debug.Assert(!trackMembers || !
IsConditionalState
);
9829
Debug.Assert(!
IsConditionalState
);
9994
Debug.Assert(!
IsConditionalState
);
10475
Debug.Assert(!
IsConditionalState
);
10818
Debug.Assert(!
IsConditionalState
);
10849
Debug.Assert(!
IsConditionalState
);
11284
Debug.Assert(!
IsConditionalState
);
11292
if (
IsConditionalState
)
11307
if (
IsConditionalState
)
11415
Debug.Assert(!
IsConditionalState
);
11544
Debug.Assert(!this.
IsConditionalState
);
11564
Debug.Assert(!this.
IsConditionalState
);
11650
Debug.Assert(!
IsConditionalState
);
11658
Debug.Assert(!
IsConditionalState
);
11744
Debug.Assert(!
IsConditionalState
);
11853
Debug.Assert(!this.
IsConditionalState
);
12227
if (
IsConditionalState
)
FlowAnalysis\NullableWalker_Patterns.cs (7)
36
Debug.Assert(!
IsConditionalState
);
361
return nullableWalker.
IsConditionalState
391
if (!
IsConditionalState
)
479
Debug.Assert(!
IsConditionalState
);
708
Debug.Assert(this.
IsConditionalState
);
776
switch (
IsConditionalState
, stateAndReachable.state.IsConditionalState)
1055
Debug.Assert(!
IsConditionalState
);