29 writes to StateWhenTrue
Microsoft.CodeAnalysis.CSharp (29)
FlowAnalysis\AbstractFlowPass.cs (6)
134StateWhenTrue = whenTrue; 141StateWhenTrue = StateWhenFalse = default(TLocalState); 158Join(ref StateWhenTrue, ref StateWhenFalse); 1686StateWhenTrue = unreachable; 2989Join(ref StateWhenTrue, ref savedState); 3322Join(ref this.StateWhenTrue, ref afterConsequenceWhenTrue);
FlowAnalysis\LocalDataFlowPass.cs (1)
137Normalize(ref this.StateWhenTrue);
FlowAnalysis\NullableWalker.cs (13)
5578LearnFromNullTest(operandComparedToNull, ref nonNullCase ? ref StateWhenFalse : ref StateWhenTrue); 5621ref LocalState stateToUpdate = ref whenTrue ? ref this.StateWhenTrue : ref this.StateWhenFalse; 6158LearnFromNonNullTest(slot, ref StateWhenTrue); 6926LearnFromNullTest(right, ref StateWhenTrue); 6932LearnFromNullTest(left, ref StateWhenTrue); 6938LearnFromNonNullTest(left, ref StateWhenTrue); 6943LearnFromNonNullTest(right, ref StateWhenTrue); 7664applyMemberPostConditions(receiverSlot, type, notNullMembers, ref StateWhenTrue); 7676applyMemberPostConditions(receiverSlot, type, notNullWhenTrueMembers, ref StateWhenTrue); 8228LearnFromNonNullTest(argument, ref StateWhenTrue); 8238LearnFromNullTest(argument, ref StateWhenTrue); 11606SetState(ref this.StateWhenTrue, containingSlot, NullableFlowState.NotNull); 13089Join(ref StateWhenTrue, ref otherIsConditional ? ref other.StateWhenTrue : ref other.State);
FlowAnalysis\NullableWalker_Patterns.cs (9)
603learnFromNonNullTest(inputSlot, ref this.StateWhenTrue); 609var inputMaybeNull = GetState(ref this.StateWhenTrue, inputSlot).MayBeNull(); 618learnFromNonNullTest(inputSlot, ref this.StateWhenTrue); 626LearnFromNullTest(inputSlot, inputType, ref this.StateWhenTrue, markDependentSlotsNotNull: true); 647learnFromNonNullTest(inputSlot, ref this.StateWhenTrue); 656learnFromNonNullTest(inputSlot, ref this.StateWhenTrue); 782Join(ref this.StateWhenTrue, ref stateAndReachable.state.StateWhenTrue); 787Join(ref this.StateWhenTrue, ref stateAndReachable.state.State); 793Join(ref this.StateWhenTrue, ref stateAndReachable.state.StateWhenTrue);
47 references to StateWhenTrue
Microsoft.CodeAnalysis.CSharp (47)
FlowAnalysis\AbstractFlowPass.cs (19)
159SetState(StateWhenTrue); 228? $"true: {Dump(this.StateWhenTrue)} false: {Dump(this.StateWhenFalse)}" 948SetConditionalState(StateWhenFalse, StateWhenTrue); 968SetState(this.StateWhenTrue); 974SetConditionalState(this.StateWhenFalse, this.StateWhenTrue); 1782trueState = StateWhenTrue; 1983SetState(StateWhenTrue); 2344TLocalState bodyState = StateWhenTrue; 2509var leftTrue = this.StateWhenTrue; 2541var resultTrue = this.StateWhenTrue; 2686var (stateWhenTrue, stateWhenFalse) = (StateWhenTrue.Clone(), StateWhenFalse.Clone()); 2702SetConditionalState(StateWhenFalse, StateWhenTrue); 2793SetConditionalState(StateWhenFalse, StateWhenTrue); 2876bodyState = this.StateWhenTrue; 3291var consequenceState = this.StateWhenTrue; 3311var (afterConsequenceWhenTrue, afterConsequenceWhenFalse) = conditionalAfterConsequence ? (StateWhenTrue, StateWhenFalse) : (State, State); 3360SetState(this.StateWhenTrue); 3583PendingBranches.Add(new PendingBranch(node, this.StateWhenTrue, node.Label)); 3589this.SetState(this.StateWhenTrue);
FlowAnalysis\AbstractFlowPass_Switch.cs (4)
62SetState(StateWhenTrue); 66SetState(StateWhenTrue); 165SetState(StateWhenTrue); 174SetState(StateWhenTrue);
FlowAnalysis\AlwaysAssignedWalker.cs (1)
127_endOfRegionState = StateWhenTrue.Clone();
FlowAnalysis\DefiniteAssignment.cs (1)
1996SetState(StateWhenTrue);
FlowAnalysis\DefinitelyAssignedWalker.cs (1)
77this.ProcessState(definitelyAssigned, this.StateWhenTrue, this.StateWhenFalse);
FlowAnalysis\NullableWalker.cs (13)
521return $"{{{GetType().Name} WhenTrue:{Dump(StateWhenTrue)} WhenFalse:{Dump(StateWhenFalse)}{"}"}"; 3114var joinedState = this.StateWhenTrue.Clone(); 3116PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.IsConditionalState, this.StateWhenTrue, this.StateWhenFalse)); 5306var (stateWhenTrue, stateWhenFalse) = (StateWhenTrue.Clone(), StateWhenFalse.Clone()); 5322SetConditionalState(StateWhenFalse, StateWhenTrue); 6215var consequenceState = this.StateWhenTrue; 6484=> this.IsConditionalState ? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable; 7828SetState(StateWhenTrue); 8123SetState(StateWhenTrue); 12049SetConditionalState(StateWhenFalse, StateWhenTrue); 12064SetConditionalState(StateWhenFalse, StateWhenTrue); 12253var leftTrue = this.StateWhenTrue; 12270var leftTrue = this.StateWhenTrue;
FlowAnalysis\NullableWalker_Patterns.cs (8)
362? new PossiblyConditionalState(nullableWalker.StateWhenTrue, nullableWalker.StateWhenFalse) 605gotoNode(p.WhenTrue, this.StateWhenTrue, nodeBelievedReachable); 620gotoNode(p.WhenTrue, this.StateWhenTrue, nodeBelievedReachable); 629gotoNode(p.WhenTrue, this.StateWhenTrue, nodeBelievedReachable); 650gotoNode(p.WhenTrue, isFalseTest ? this.StateWhenFalse : this.StateWhenTrue, nodeBelievedReachable); 651gotoNode(p.WhenFalse, isFalseTest ? this.StateWhenTrue : this.StateWhenFalse, nodeBelievedReachable); 658gotoNode(p.WhenTrue, this.StateWhenTrue, nodeBelievedReachable); 711gotoNode(w.WhenTrue, this.StateWhenTrue, nodeBelievedReachable);