29 writes to StateWhenTrue
Microsoft.CodeAnalysis.CSharp (29)
FlowAnalysis\AbstractFlowPass.cs (6)
135
StateWhenTrue
= whenTrue;
142
StateWhenTrue
= StateWhenFalse = default(TLocalState);
159
Join(ref
StateWhenTrue
, ref StateWhenFalse);
1621
StateWhenTrue
= unreachable;
2867
Join(ref
StateWhenTrue
, ref savedState);
3195
Join(ref this.
StateWhenTrue
, ref afterConsequenceWhenTrue);
FlowAnalysis\LocalDataFlowPass.cs (1)
137
Normalize(ref this.
StateWhenTrue
);
FlowAnalysis\NullableWalker.cs (13)
5126
LearnFromNullTest(operandComparedToNull, ref nonNullCase ? ref StateWhenFalse : ref
StateWhenTrue
);
5169
ref LocalState stateToUpdate = ref whenTrue ? ref this.
StateWhenTrue
: ref this.StateWhenFalse;
5705
LearnFromNonNullTest(slot, ref
StateWhenTrue
);
6332
LearnFromNullTest(right, ref
StateWhenTrue
);
6338
LearnFromNullTest(left, ref
StateWhenTrue
);
6344
LearnFromNonNullTest(left, ref
StateWhenTrue
);
6349
LearnFromNonNullTest(right, ref
StateWhenTrue
);
7002
applyMemberPostConditions(receiverSlot, type, notNullMembers, ref
StateWhenTrue
);
7014
applyMemberPostConditions(receiverSlot, type, notNullWhenTrueMembers, ref
StateWhenTrue
);
7560
LearnFromNonNullTest(argument, ref
StateWhenTrue
);
7570
LearnFromNullTest(argument, ref
StateWhenTrue
);
10629
SetState(ref this.
StateWhenTrue
, containingSlot, NullableFlowState.NotNull);
11984
Join(ref
StateWhenTrue
, ref otherIsConditional ? ref other.StateWhenTrue : ref other.State);
FlowAnalysis\NullableWalker_Patterns.cs (9)
563
learnFromNonNullTest(inputSlot, ref this.
StateWhenTrue
);
569
var inputMaybeNull = GetState(ref this.
StateWhenTrue
, inputSlot).MayBeNull();
578
learnFromNonNullTest(inputSlot, ref this.
StateWhenTrue
);
586
LearnFromNullTest(inputSlot, inputType, ref this.
StateWhenTrue
, markDependentSlotsNotNull: true);
607
learnFromNonNullTest(inputSlot, ref this.
StateWhenTrue
);
616
learnFromNonNullTest(inputSlot, ref this.
StateWhenTrue
);
742
Join(ref this.
StateWhenTrue
, ref stateAndReachable.state.StateWhenTrue);
747
Join(ref this.
StateWhenTrue
, ref stateAndReachable.state.State);
753
Join(ref this.
StateWhenTrue
, ref stateAndReachable.state.StateWhenTrue);
45 references to StateWhenTrue
Microsoft.CodeAnalysis.CSharp (45)
FlowAnalysis\AbstractFlowPass.cs (19)
160
SetState(
StateWhenTrue
);
229
? $"true: {Dump(this.
StateWhenTrue
)} false: {Dump(this.StateWhenFalse)}"
950
SetConditionalState(StateWhenFalse,
StateWhenTrue
);
970
SetState(this.
StateWhenTrue
);
976
SetConditionalState(this.StateWhenFalse, this.
StateWhenTrue
);
1711
TLocalState trueState =
StateWhenTrue
;
1886
SetState(
StateWhenTrue
);
2247
TLocalState bodyState =
StateWhenTrue
;
2389
var leftTrue = this.
StateWhenTrue
;
2423
var resultTrue = this.
StateWhenTrue
;
2564
var (stateWhenTrue, stateWhenFalse) = (
StateWhenTrue
.Clone(), StateWhenFalse.Clone());
2580
SetConditionalState(StateWhenFalse,
StateWhenTrue
);
2671
SetConditionalState(StateWhenFalse,
StateWhenTrue
);
2754
bodyState = this.
StateWhenTrue
;
3164
var consequenceState = this.
StateWhenTrue
;
3184
var (afterConsequenceWhenTrue, afterConsequenceWhenFalse) = conditionalAfterConsequence ? (
StateWhenTrue
, StateWhenFalse) : (State, State);
3233
SetState(this.
StateWhenTrue
);
3456
PendingBranches.Add(new PendingBranch(node, this.
StateWhenTrue
, node.Label));
3462
this.SetState(this.
StateWhenTrue
);
FlowAnalysis\AbstractFlowPass_Switch.cs (4)
62
SetState(
StateWhenTrue
);
66
SetState(
StateWhenTrue
);
165
SetState(
StateWhenTrue
);
174
SetState(
StateWhenTrue
);
FlowAnalysis\AlwaysAssignedWalker.cs (1)
126
_endOfRegionState =
StateWhenTrue
.Clone();
FlowAnalysis\DefiniteAssignment.cs (1)
1963
SetState(
StateWhenTrue
);
FlowAnalysis\DefinitelyAssignedWalker.cs (1)
77
this.ProcessState(definitelyAssigned, this.
StateWhenTrue
, this.StateWhenFalse);
FlowAnalysis\NullableWalker.cs (11)
487
return $"{{{GetType().Name} WhenTrue:{Dump(
StateWhenTrue
)} WhenFalse:{Dump(StateWhenFalse)}{"}"}";
2894
var joinedState = this.
StateWhenTrue
.Clone();
2896
PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.IsConditionalState, this.
StateWhenTrue
, this.StateWhenFalse));
4911
var (stateWhenTrue, stateWhenFalse) = (
StateWhenTrue
.Clone(), StateWhenFalse.Clone());
4927
SetConditionalState(StateWhenFalse,
StateWhenTrue
);
5762
var consequenceState = this.
StateWhenTrue
;
6031
=> this.IsConditionalState ? (this.
StateWhenTrue
.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable;
7160
SetState(
StateWhenTrue
);
7455
SetState(
StateWhenTrue
);
11048
SetConditionalState(StateWhenFalse,
StateWhenTrue
);
11063
SetConditionalState(StateWhenFalse,
StateWhenTrue
);
FlowAnalysis\NullableWalker_Patterns.cs (8)
324
? new PossiblyConditionalState(nullableWalker.
StateWhenTrue
, nullableWalker.StateWhenFalse)
565
gotoNode(p.WhenTrue, this.
StateWhenTrue
, nodeBelievedReachable);
580
gotoNode(p.WhenTrue, this.
StateWhenTrue
, nodeBelievedReachable);
589
gotoNode(p.WhenTrue, this.
StateWhenTrue
, nodeBelievedReachable);
610
gotoNode(p.WhenTrue, isFalseTest ? this.StateWhenFalse : this.
StateWhenTrue
, nodeBelievedReachable);
611
gotoNode(p.WhenFalse, isFalseTest ? this.
StateWhenTrue
: this.StateWhenFalse, nodeBelievedReachable);
618
gotoNode(p.WhenTrue, this.
StateWhenTrue
, nodeBelievedReachable);
671
gotoNode(w.WhenTrue, this.
StateWhenTrue
, nodeBelievedReachable);