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)
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 (64)
370
|| !
IsConditionalState
519
if (this.
IsConditionalState
)
1881
Debug.Assert(!walker.
IsConditionalState
);
1949
Debug.Assert(!
IsConditionalState
);
2647
Debug.Assert(!
IsConditionalState
);
3007
Debug.Assert(!
IsConditionalState
);
3061
Debug.Assert(!
IsConditionalState
);
3110
if (
IsConditionalState
)
3114
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
);
4088
Debug.Assert(!
IsConditionalState
);
4761
Debug.Assert(!
IsConditionalState
);
5056
Debug.Assert(!
IsConditionalState
);
5060
Debug.Assert(!
IsConditionalState
);
5090
Debug.Assert(!
IsConditionalState
);
5094
Debug.Assert(!
IsConditionalState
);
5170
Debug.Assert(!
IsConditionalState
);
5301
if (
IsConditionalState
&& binary.Right.ConstantValueOpt is { IsBoolean: true } rightConstant)
5317
if (
IsConditionalState
&& isEquals(binary) != leftConstant.BooleanValue)
5361
Debug.Assert(!
IsConditionalState
);
5414
Debug.Assert(!
IsConditionalState
);
5544
Debug.Assert(!
IsConditionalState
);
5916
Debug.Assert(!
IsConditionalState
);
6043
Debug.Assert(!
IsConditionalState
);
6066
if (
IsConditionalState
)
6081
Debug.Assert(!
IsConditionalState
);
6153
if (
IsConditionalState
)
6481
=> this.
IsConditionalState
? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable;
7700
if (
IsConditionalState
)
7775
Debug.Assert(!
IsConditionalState
);
7839
Debug.Assert(!
IsConditionalState
);
7857
if (
IsConditionalState
)
7864
if (
IsConditionalState
)
7887
Debug.Assert(!
IsConditionalState
);
7906
Debug.Assert(!this.
IsConditionalState
);
7979
Debug.Assert(!this.
IsConditionalState
);
8152
if (!
IsConditionalState
&& !hasConditionalPostCondition(parameterAnnotations))
8164
Debug.Assert(!
IsConditionalState
);
8169
Debug.Assert(!
IsConditionalState
);
8250
if (maybeNullWhenTrue && maybeNullWhenFalse && !
IsConditionalState
&& !(notNullWhenTrue && notNullWhenFalse))
8255
&& !
IsConditionalState
8934
trackMembers: !
IsConditionalState
));
9043
Debug.Assert(!
IsConditionalState
);
9432
Debug.Assert(!trackMembers || !
IsConditionalState
);
10414
Debug.Assert(!
IsConditionalState
);
10591
Debug.Assert(!
IsConditionalState
);
11087
Debug.Assert(!
IsConditionalState
);
11264
Debug.Assert(!
IsConditionalState
);
11601
Debug.Assert(!
IsConditionalState
);
11633
Debug.Assert(!
IsConditionalState
);
12078
Debug.Assert(!
IsConditionalState
);
12086
if (
IsConditionalState
)
12101
if (
IsConditionalState
)
12286
Debug.Assert(
IsConditionalState
);
12442
Debug.Assert(!this.
IsConditionalState
);
12462
Debug.Assert(!this.
IsConditionalState
);
12548
Debug.Assert(!
IsConditionalState
);
12556
Debug.Assert(!
IsConditionalState
);
12642
Debug.Assert(!
IsConditionalState
);
12751
Debug.Assert(!this.
IsConditionalState
);
13125
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
);