26 writes to StateWhenFalse
Microsoft.CodeAnalysis.CSharp (26)
FlowAnalysis\AbstractFlowPass.cs (6)
135StateWhenFalse = whenFalse; 141StateWhenTrue = StateWhenFalse = default(TLocalState); 158Join(ref StateWhenTrue, ref StateWhenFalse); 1691StateWhenFalse = unreachable; 3001Join(ref StateWhenFalse, ref savedState); 3334Join(ref this.StateWhenFalse, ref afterConsequenceWhenFalse);
FlowAnalysis\AlwaysAssignedWalker.cs (1)
128Join(ref _endOfRegionState, ref StateWhenFalse);
FlowAnalysis\LocalDataFlowPass.cs (1)
139Normalize(ref this.StateWhenFalse);
FlowAnalysis\NullableWalker_Patterns.cs (6)
562MarkDependentSlotsNotNull(inputSlot, inputType, ref this.StateWhenFalse); 565LearnFromNullTest(inputSlot, inputType, ref this.StateWhenFalse, markDependentSlotsNotNull: false); 576learnFromNonNullTest(inputSlot, ref this.StateWhenFalse); 899Join(ref this.StateWhenFalse, ref stateAndReachable.state.StateWhenFalse); 904Join(ref this.StateWhenFalse, ref stateAndReachable.state.State); 910Join(ref this.StateWhenFalse, ref stateAndReachable.state.StateWhenFalse);
FlowAnalysis\NullableWalker.cs (12)
3195Join(ref joinedState, ref this.StateWhenFalse); 5910LearnFromNullTest(operandComparedToNull, ref nonNullCase ? ref StateWhenFalse : ref StateWhenTrue); 5953ref LocalState stateToUpdate = ref whenTrue ? ref this.StateWhenTrue : ref this.StateWhenFalse; 6493LearnFromNonNullTest(slot, ref StateWhenFalse); 7329LearnFromNonNullTest(right, ref StateWhenFalse); 7335LearnFromNonNullTest(left, ref StateWhenFalse); 8084applyMemberPostConditions(receiverSlot, type, notNullMembers, ref StateWhenFalse); 8097applyMemberPostConditions(receiverSlot, type, notNullWhenFalseMembers, ref StateWhenFalse); 8690LearnFromNonNullTest(argument, ref StateWhenFalse); 8700LearnFromNullTest(argument, ref StateWhenFalse); 13301LearnFromNullTest(operand, ref StateWhenFalse); 14005Join(ref StateWhenFalse, ref otherIsConditional ? ref other.StateWhenFalse : ref other.State);
40 references to StateWhenFalse
Microsoft.CodeAnalysis.CSharp (40)
FlowAnalysis\AbstractFlowPass.cs (17)
228? $"true: {Dump(this.StateWhenTrue)} false: {Dump(this.StateWhenFalse)}" 949SetConditionalState(StateWhenFalse, StateWhenTrue); 964SetState(this.StateWhenFalse); 975SetConditionalState(this.StateWhenFalse, this.StateWhenTrue); 1792TLocalState falseState = StateWhenFalse; 2356TLocalState breakState = StateWhenFalse; 2521var leftFalse = this.StateWhenFalse; 2553var resultFalse = this.StateWhenFalse; 2697var (stateWhenTrue, stateWhenFalse) = (StateWhenTrue.Clone(), StateWhenFalse.Clone()); 2713SetConditionalState(StateWhenFalse, StateWhenTrue); 2804SetConditionalState(StateWhenFalse, StateWhenTrue); 2888breakState = this.StateWhenFalse; 3303var alternativeState = this.StateWhenFalse; 3322var (afterConsequenceWhenTrue, afterConsequenceWhenFalse) = conditionalAfterConsequence ? (StateWhenTrue, StateWhenFalse) : (State, State); 3370TLocalState breakState = this.StateWhenFalse; 3604this.SetState(this.StateWhenFalse); 3608PendingBranches.Add(new PendingBranch(node, this.StateWhenFalse, node.Label));
FlowAnalysis\DefiniteAssignment.cs (2)
1956var whenFail = StateWhenFalse; 2383var whenFalse = StateWhenFalse.Clone();
FlowAnalysis\DefinitelyAssignedWalker.cs (1)
77this.ProcessState(definitelyAssigned, this.StateWhenTrue, this.StateWhenFalse);
FlowAnalysis\NullableWalker_Patterns.cs (8)
365? new PossiblyConditionalState(nullableWalker.StateWhenTrue, nullableWalker.StateWhenFalse) 555gotoNode(p.WhenFalse, this.StateWhenFalse, nodeBelievedReachable, from: p, whenTrueBranch: false); 570gotoNode(p.WhenFalse, this.StateWhenFalse, nodeBelievedReachable & inputMaybeNull, from: p, whenTrueBranch: false); 579gotoNode(p.WhenFalse, this.StateWhenFalse, nodeBelievedReachable, from: p, whenTrueBranch: false); 599gotoNode(p.WhenTrue, isFalseTest ? this.StateWhenFalse : this.StateWhenTrue, nodeBelievedReachable, from: p, whenTrueBranch: true); 600gotoNode(p.WhenFalse, isFalseTest ? this.StateWhenTrue : this.StateWhenFalse, nodeBelievedReachable, from: p, whenTrueBranch: false); 608gotoNode(p.WhenFalse, this.StateWhenFalse, nodeBelievedReachable, from: p, whenTrueBranch: false); 661gotoNode(w.WhenFalse, this.StateWhenFalse, nodeBelievedReachable, from: w, whenTrueBranch: false);
FlowAnalysis\NullableWalker.cs (12)
538return $"{{{GetType().Name} WhenTrue:{Dump(StateWhenTrue)} WhenFalse:{Dump(StateWhenFalse)}{"}"}"; 3196PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.IsConditionalState, this.StateWhenTrue, this.StateWhenFalse)); 5622var (stateWhenTrue, stateWhenFalse) = (StateWhenTrue.Clone(), StateWhenFalse.Clone()); 5654SetConditionalState(StateWhenFalse, StateWhenTrue); 6550var alternativeState = this.StateWhenFalse; 6818=> this.IsConditionalState ? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable; 8258SetState(StateWhenFalse); 8559var originalWhenFalse = StateWhenFalse.Clone(); 12904SetConditionalState(StateWhenFalse, StateWhenTrue); 12919SetConditionalState(StateWhenFalse, StateWhenTrue); 13109var leftFalse = this.StateWhenFalse; 13126var leftFalse = this.StateWhenFalse;