26 writes to StateWhenFalse
Microsoft.CodeAnalysis.CSharp (26)
FlowAnalysis\AbstractFlowPass.cs (6)
135
StateWhenFalse
= whenFalse;
141
StateWhenTrue =
StateWhenFalse
= default(TLocalState);
158
Join(ref StateWhenTrue, ref
StateWhenFalse
);
1681
StateWhenFalse
= unreachable;
2989
Join(ref
StateWhenFalse
, ref savedState);
3322
Join(ref this.
StateWhenFalse
, ref afterConsequenceWhenFalse);
FlowAnalysis\AlwaysAssignedWalker.cs (1)
128
Join(ref _endOfRegionState, ref
StateWhenFalse
);
FlowAnalysis\LocalDataFlowPass.cs (1)
138
Normalize(ref this.
StateWhenFalse
);
FlowAnalysis\NullableWalker.cs (12)
3095
Join(ref joinedState, ref this.
StateWhenFalse
);
5523
LearnFromNullTest(operandComparedToNull, ref nonNullCase ? ref
StateWhenFalse
: ref StateWhenTrue);
5566
ref LocalState stateToUpdate = ref whenTrue ? ref this.StateWhenTrue : ref this.
StateWhenFalse
;
6104
LearnFromNonNullTest(slot, ref
StateWhenFalse
);
6871
LearnFromNonNullTest(right, ref
StateWhenFalse
);
6877
LearnFromNonNullTest(left, ref
StateWhenFalse
);
7609
applyMemberPostConditions(receiverSlot, type, notNullMembers, ref
StateWhenFalse
);
7621
applyMemberPostConditions(receiverSlot, type, notNullWhenFalseMembers, ref
StateWhenFalse
);
8177
LearnFromNonNullTest(argument, ref
StateWhenFalse
);
8187
LearnFromNullTest(argument, ref
StateWhenFalse
);
12346
LearnFromNullTest(operand, ref
StateWhenFalse
);
12988
Join(ref
StateWhenFalse
, ref otherIsConditional ? ref other.StateWhenFalse : ref other.State);
FlowAnalysis\NullableWalker_Patterns.cs (6)
613
MarkDependentSlotsNotNull(inputSlot, inputType, ref this.
StateWhenFalse
);
616
LearnFromNullTest(inputSlot, inputType, ref this.
StateWhenFalse
, markDependentSlotsNotNull: false);
627
learnFromNonNullTest(inputSlot, ref this.
StateWhenFalse
);
783
Join(ref this.
StateWhenFalse
, ref stateAndReachable.state.StateWhenFalse);
788
Join(ref this.
StateWhenFalse
, ref stateAndReachable.state.State);
794
Join(ref this.
StateWhenFalse
, ref stateAndReachable.state.StateWhenFalse);
39 references to StateWhenFalse
Microsoft.CodeAnalysis.CSharp (39)
FlowAnalysis\AbstractFlowPass.cs (17)
228
? $"true: {Dump(this.StateWhenTrue)} false: {Dump(this.
StateWhenFalse
)}"
948
SetConditionalState(
StateWhenFalse
, StateWhenTrue);
963
SetState(this.
StateWhenFalse
);
974
SetConditionalState(this.
StateWhenFalse
, this.StateWhenTrue);
1782
TLocalState falseState =
StateWhenFalse
;
2344
TLocalState breakState =
StateWhenFalse
;
2509
var leftFalse = this.
StateWhenFalse
;
2541
var resultFalse = this.
StateWhenFalse
;
2685
var (stateWhenTrue, stateWhenFalse) = (StateWhenTrue.Clone(),
StateWhenFalse
.Clone());
2701
SetConditionalState(
StateWhenFalse
, StateWhenTrue);
2792
SetConditionalState(
StateWhenFalse
, StateWhenTrue);
2876
breakState = this.
StateWhenFalse
;
3291
var alternativeState = this.
StateWhenFalse
;
3310
var (afterConsequenceWhenTrue, afterConsequenceWhenFalse) = conditionalAfterConsequence ? (StateWhenTrue,
StateWhenFalse
) : (State, State);
3358
TLocalState breakState = this.
StateWhenFalse
;
3583
this.SetState(this.
StateWhenFalse
);
3587
PendingBranches.Add(new PendingBranch(node, this.
StateWhenFalse
, node.Label));
FlowAnalysis\DefiniteAssignment.cs (1)
1995
var whenFail =
StateWhenFalse
;
FlowAnalysis\DefinitelyAssignedWalker.cs (1)
77
this.ProcessState(definitelyAssigned, this.StateWhenTrue, this.
StateWhenFalse
);
FlowAnalysis\NullableWalker.cs (12)
502
return $"{{{GetType().Name} WhenTrue:{Dump(StateWhenTrue)} WhenFalse:{Dump(
StateWhenFalse
)}{"}"}";
3096
PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.IsConditionalState, this.StateWhenTrue, this.
StateWhenFalse
));
5251
var (stateWhenTrue, stateWhenFalse) = (StateWhenTrue.Clone(),
StateWhenFalse
.Clone());
5267
SetConditionalState(
StateWhenFalse
, StateWhenTrue);
6161
var alternativeState = this.
StateWhenFalse
;
6429
=> this.IsConditionalState ? (this.StateWhenTrue.Reachable || this.
StateWhenFalse
.Reachable) : this.State.Reachable;
7765
SetState(
StateWhenFalse
);
8065
var originalWhenFalse =
StateWhenFalse
.Clone();
11947
SetConditionalState(
StateWhenFalse
, StateWhenTrue);
11962
SetConditionalState(
StateWhenFalse
, StateWhenTrue);
12152
var leftFalse = this.
StateWhenFalse
;
12169
var leftFalse = this.
StateWhenFalse
;
FlowAnalysis\NullableWalker_Patterns.cs (8)
362
? new PossiblyConditionalState(nullableWalker.StateWhenTrue, nullableWalker.
StateWhenFalse
)
606
gotoNode(p.WhenFalse, this.
StateWhenFalse
, nodeBelievedReachable);
621
gotoNode(p.WhenFalse, this.
StateWhenFalse
, nodeBelievedReachable & inputMaybeNull);
630
gotoNode(p.WhenFalse, this.
StateWhenFalse
, nodeBelievedReachable);
650
gotoNode(p.WhenTrue, isFalseTest ? this.
StateWhenFalse
: this.StateWhenTrue, nodeBelievedReachable);
651
gotoNode(p.WhenFalse, isFalseTest ? this.StateWhenTrue : this.
StateWhenFalse
, nodeBelievedReachable);
659
gotoNode(p.WhenFalse, this.
StateWhenFalse
, nodeBelievedReachable);
712
gotoNode(w.WhenFalse, this.
StateWhenFalse
, nodeBelievedReachable);