26 writes to StateWhenFalse
Microsoft.CodeAnalysis.CSharp (26)
FlowAnalysis\AbstractFlowPass.cs (6)
135StateWhenFalse = whenFalse; 141StateWhenTrue = StateWhenFalse = default(TLocalState); 158Join(ref StateWhenTrue, ref StateWhenFalse); 1680StateWhenFalse = unreachable; 2990Join(ref StateWhenFalse, ref savedState); 3323Join(ref this.StateWhenFalse, ref afterConsequenceWhenFalse);
FlowAnalysis\AlwaysAssignedWalker.cs (1)
128Join(ref _endOfRegionState, ref StateWhenFalse);
FlowAnalysis\LocalDataFlowPass.cs (1)
138Normalize(ref this.StateWhenFalse);
FlowAnalysis\NullableWalker.cs (12)
3114Join(ref joinedState, ref this.StateWhenFalse); 5732LearnFromNullTest(operandComparedToNull, ref nonNullCase ? ref StateWhenFalse : ref StateWhenTrue); 5775ref LocalState stateToUpdate = ref whenTrue ? ref this.StateWhenTrue : ref this.StateWhenFalse; 6313LearnFromNonNullTest(slot, ref StateWhenFalse); 7128LearnFromNonNullTest(right, ref StateWhenFalse); 7134LearnFromNonNullTest(left, ref StateWhenFalse); 7859applyMemberPostConditions(receiverSlot, type, notNullMembers, ref StateWhenFalse); 7871applyMemberPostConditions(receiverSlot, type, notNullWhenFalseMembers, ref StateWhenFalse); 8427LearnFromNonNullTest(argument, ref StateWhenFalse); 8437LearnFromNullTest(argument, ref StateWhenFalse); 12669LearnFromNullTest(operand, ref StateWhenFalse); 13313Join(ref StateWhenFalse, ref otherIsConditional ? ref other.StateWhenFalse : ref other.State);
FlowAnalysis\NullableWalker_Patterns.cs (6)
558MarkDependentSlotsNotNull(inputSlot, inputType, ref this.StateWhenFalse); 561LearnFromNullTest(inputSlot, inputType, ref this.StateWhenFalse, markDependentSlotsNotNull: false); 572learnFromNonNullTest(inputSlot, ref this.StateWhenFalse); 890Join(ref this.StateWhenFalse, ref stateAndReachable.state.StateWhenFalse); 895Join(ref this.StateWhenFalse, ref stateAndReachable.state.State); 901Join(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)}" 948SetConditionalState(StateWhenFalse, StateWhenTrue); 963SetState(this.StateWhenFalse); 974SetConditionalState(this.StateWhenFalse, this.StateWhenTrue); 1781TLocalState falseState = StateWhenFalse; 2345TLocalState breakState = StateWhenFalse; 2510var leftFalse = this.StateWhenFalse; 2542var resultFalse = this.StateWhenFalse; 2686var (stateWhenTrue, stateWhenFalse) = (StateWhenTrue.Clone(), StateWhenFalse.Clone()); 2702SetConditionalState(StateWhenFalse, StateWhenTrue); 2793SetConditionalState(StateWhenFalse, StateWhenTrue); 2877breakState = this.StateWhenFalse; 3292var alternativeState = this.StateWhenFalse; 3311var (afterConsequenceWhenTrue, afterConsequenceWhenFalse) = conditionalAfterConsequence ? (StateWhenTrue, StateWhenFalse) : (State, State); 3359TLocalState breakState = this.StateWhenFalse; 3584this.SetState(this.StateWhenFalse); 3588PendingBranches.Add(new PendingBranch(node, this.StateWhenFalse, node.Label));
FlowAnalysis\DefiniteAssignment.cs (1)
1946var whenFail = StateWhenFalse;
FlowAnalysis\DefinitelyAssignedWalker.cs (1)
77this.ProcessState(definitelyAssigned, this.StateWhenTrue, this.StateWhenFalse);
FlowAnalysis\NullableWalker.cs (12)
521return $"{{{GetType().Name} WhenTrue:{Dump(StateWhenTrue)} WhenFalse:{Dump(StateWhenFalse)}{"}"}"; 3115PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.IsConditionalState, this.StateWhenTrue, this.StateWhenFalse)); 5460var (stateWhenTrue, stateWhenFalse) = (StateWhenTrue.Clone(), StateWhenFalse.Clone()); 5476SetConditionalState(StateWhenFalse, StateWhenTrue); 6370var alternativeState = this.StateWhenFalse; 6638=> this.IsConditionalState ? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable; 8015SetState(StateWhenFalse); 8315var originalWhenFalse = StateWhenFalse.Clone(); 12270SetConditionalState(StateWhenFalse, StateWhenTrue); 12285SetConditionalState(StateWhenFalse, StateWhenTrue); 12475var leftFalse = this.StateWhenFalse; 12492var leftFalse = this.StateWhenFalse;
FlowAnalysis\NullableWalker_Patterns.cs (8)
362? new PossiblyConditionalState(nullableWalker.StateWhenTrue, nullableWalker.StateWhenFalse) 551gotoNode(p.WhenFalse, this.StateWhenFalse, nodeBelievedReachable); 566gotoNode(p.WhenFalse, this.StateWhenFalse, nodeBelievedReachable & inputMaybeNull); 575gotoNode(p.WhenFalse, this.StateWhenFalse, nodeBelievedReachable); 595gotoNode(p.WhenTrue, isFalseTest ? this.StateWhenFalse : this.StateWhenTrue, nodeBelievedReachable); 596gotoNode(p.WhenFalse, isFalseTest ? this.StateWhenTrue : this.StateWhenFalse, nodeBelievedReachable); 604gotoNode(p.WhenFalse, this.StateWhenFalse, nodeBelievedReachable); 657gotoNode(w.WhenFalse, this.StateWhenFalse, nodeBelievedReachable);