26 writes to StateWhenFalse
Microsoft.CodeAnalysis.CSharp (26)
FlowAnalysis\AbstractFlowPass.cs (6)
136StateWhenFalse = whenFalse; 142StateWhenTrue = StateWhenFalse = default(TLocalState); 159Join(ref StateWhenTrue, ref StateWhenFalse); 1577StateWhenFalse = unreachable; 2766Join(ref StateWhenFalse, ref savedState); 3094Join(ref this.StateWhenFalse, ref afterConsequenceWhenFalse);
FlowAnalysis\AlwaysAssignedWalker.cs (1)
127Join(ref _endOfRegionState, ref StateWhenFalse);
FlowAnalysis\LocalDataFlowPass.cs (1)
138Normalize(ref this.StateWhenFalse);
FlowAnalysis\NullableWalker.cs (12)
2854Join(ref joinedState, ref this.StateWhenFalse); 4796LearnFromNullTest(operandComparedToNull, ref nonNullCase ? ref StateWhenFalse : ref StateWhenTrue); 4839ref LocalState stateToUpdate = ref whenTrue ? ref this.StateWhenTrue : ref this.StateWhenFalse; 5361LearnFromNonNullTest(slot, ref StateWhenFalse); 5859LearnFromNonNullTest(right, ref StateWhenFalse); 5865LearnFromNonNullTest(left, ref StateWhenFalse); 6394applyMemberPostConditions(receiverSlot, type, notNullMembers, ref StateWhenFalse); 6406applyMemberPostConditions(receiverSlot, type, notNullWhenFalseMembers, ref StateWhenFalse); 6925LearnFromNonNullTest(argument, ref StateWhenFalse); 6935LearnFromNullTest(argument, ref StateWhenFalse); 10611LearnFromNullTest(operand, ref StateWhenFalse); 11253Join(ref StateWhenFalse, ref otherIsConditional ? ref other.StateWhenFalse : ref other.State);
FlowAnalysis\NullableWalker_Patterns.cs (6)
571MarkDependentSlotsNotNull(inputSlot, inputType, ref this.StateWhenFalse); 574LearnFromNullTest(inputSlot, inputType, ref this.StateWhenFalse, markDependentSlotsNotNull: false); 585learnFromNonNullTest(inputSlot, ref this.StateWhenFalse); 741Join(ref this.StateWhenFalse, ref stateAndReachable.state.StateWhenFalse); 746Join(ref this.StateWhenFalse, ref stateAndReachable.state.State); 752Join(ref this.StateWhenFalse, ref stateAndReachable.state.StateWhenFalse);
37 references to StateWhenFalse
Microsoft.CodeAnalysis.CSharp (37)
FlowAnalysis\AbstractFlowPass.cs (17)
229? $"true: {Dump(this.StateWhenTrue)} false: {Dump(this.StateWhenFalse)}" 942SetConditionalState(StateWhenFalse, StateWhenTrue); 957SetState(this.StateWhenFalse); 968SetConditionalState(this.StateWhenFalse, this.StateWhenTrue); 1661TLocalState falseState = StateWhenFalse; 2165TLocalState breakState = StateWhenFalse; 2288var leftFalse = this.StateWhenFalse; 2322var resultFalse = this.StateWhenFalse; 2462var (stateWhenTrue, stateWhenFalse) = (StateWhenTrue.Clone(), StateWhenFalse.Clone()); 2478SetConditionalState(StateWhenFalse, StateWhenTrue); 2569SetConditionalState(StateWhenFalse, StateWhenTrue); 2653breakState = this.StateWhenFalse; 3063var alternativeState = this.StateWhenFalse; 3082var (afterConsequenceWhenTrue, afterConsequenceWhenFalse) = conditionalAfterConsequence ? (StateWhenTrue, StateWhenFalse) : (State, State); 3130TLocalState breakState = this.StateWhenFalse; 3355this.SetState(this.StateWhenFalse); 3359PendingBranches.Add(new PendingBranch(node, this.StateWhenFalse, node.Label));
FlowAnalysis\DefiniteAssignment.cs (1)
1856var whenFail = StateWhenFalse;
FlowAnalysis\DefinitelyAssignedWalker.cs (1)
77this.ProcessState(definitelyAssigned, this.StateWhenTrue, this.StateWhenFalse);
FlowAnalysis\NullableWalker.cs (10)
454return $"{{{GetType().Name} WhenTrue:{Dump(StateWhenTrue)} WhenFalse:{Dump(StateWhenFalse)}{"}"}"; 2855PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.IsConditionalState, this.StateWhenTrue, this.StateWhenFalse)); 4600var (stateWhenTrue, stateWhenFalse) = (StateWhenTrue.Clone(), StateWhenFalse.Clone()); 4616SetConditionalState(StateWhenFalse, StateWhenTrue); 5418var alternativeState = this.StateWhenFalse; 5653=> this.IsConditionalState ? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable; 6514SetState(StateWhenFalse); 6813var originalWhenFalse = StateWhenFalse.Clone(); 10314SetConditionalState(StateWhenFalse, StateWhenTrue); 10329SetConditionalState(StateWhenFalse, StateWhenTrue);
FlowAnalysis\NullableWalker_Patterns.cs (8)
324? new PossiblyConditionalState(nullableWalker.StateWhenTrue, nullableWalker.StateWhenFalse) 564gotoNode(p.WhenFalse, this.StateWhenFalse, nodeBelievedReachable); 579gotoNode(p.WhenFalse, this.StateWhenFalse, nodeBelievedReachable & inputMaybeNull); 588gotoNode(p.WhenFalse, this.StateWhenFalse, nodeBelievedReachable); 608gotoNode(p.WhenTrue, isFalseTest ? this.StateWhenFalse : this.StateWhenTrue, nodeBelievedReachable); 609gotoNode(p.WhenFalse, isFalseTest ? this.StateWhenTrue : this.StateWhenFalse, nodeBelievedReachable); 617gotoNode(p.WhenFalse, this.StateWhenFalse, nodeBelievedReachable); 670gotoNode(w.WhenFalse, this.StateWhenFalse, nodeBelievedReachable);