29 writes to StateWhenTrue
Microsoft.CodeAnalysis.CSharp (29)
FlowAnalysis\AbstractFlowPass.cs (6)
135StateWhenTrue = whenTrue; 142StateWhenTrue = StateWhenFalse = default(TLocalState); 159Join(ref StateWhenTrue, ref StateWhenFalse); 1621StateWhenTrue = unreachable; 2867Join(ref StateWhenTrue, ref savedState); 3195Join(ref this.StateWhenTrue, ref afterConsequenceWhenTrue);
FlowAnalysis\LocalDataFlowPass.cs (1)
137Normalize(ref this.StateWhenTrue);
FlowAnalysis\NullableWalker.cs (13)
5126LearnFromNullTest(operandComparedToNull, ref nonNullCase ? ref StateWhenFalse : ref StateWhenTrue); 5169ref LocalState stateToUpdate = ref whenTrue ? ref this.StateWhenTrue : ref this.StateWhenFalse; 5705LearnFromNonNullTest(slot, ref StateWhenTrue); 6332LearnFromNullTest(right, ref StateWhenTrue); 6338LearnFromNullTest(left, ref StateWhenTrue); 6344LearnFromNonNullTest(left, ref StateWhenTrue); 6349LearnFromNonNullTest(right, ref StateWhenTrue); 7002applyMemberPostConditions(receiverSlot, type, notNullMembers, ref StateWhenTrue); 7014applyMemberPostConditions(receiverSlot, type, notNullWhenTrueMembers, ref StateWhenTrue); 7560LearnFromNonNullTest(argument, ref StateWhenTrue); 7570LearnFromNullTest(argument, ref StateWhenTrue); 10629SetState(ref this.StateWhenTrue, containingSlot, NullableFlowState.NotNull); 11984Join(ref StateWhenTrue, ref otherIsConditional ? ref other.StateWhenTrue : ref other.State);
FlowAnalysis\NullableWalker_Patterns.cs (9)
563learnFromNonNullTest(inputSlot, ref this.StateWhenTrue); 569var inputMaybeNull = GetState(ref this.StateWhenTrue, inputSlot).MayBeNull(); 578learnFromNonNullTest(inputSlot, ref this.StateWhenTrue); 586LearnFromNullTest(inputSlot, inputType, ref this.StateWhenTrue, markDependentSlotsNotNull: true); 607learnFromNonNullTest(inputSlot, ref this.StateWhenTrue); 616learnFromNonNullTest(inputSlot, ref this.StateWhenTrue); 742Join(ref this.StateWhenTrue, ref stateAndReachable.state.StateWhenTrue); 747Join(ref this.StateWhenTrue, ref stateAndReachable.state.State); 753Join(ref this.StateWhenTrue, ref stateAndReachable.state.StateWhenTrue);
45 references to StateWhenTrue
Microsoft.CodeAnalysis.CSharp (45)
FlowAnalysis\AbstractFlowPass.cs (19)
160SetState(StateWhenTrue); 229? $"true: {Dump(this.StateWhenTrue)} false: {Dump(this.StateWhenFalse)}" 950SetConditionalState(StateWhenFalse, StateWhenTrue); 970SetState(this.StateWhenTrue); 976SetConditionalState(this.StateWhenFalse, this.StateWhenTrue); 1711TLocalState trueState = StateWhenTrue; 1886SetState(StateWhenTrue); 2247TLocalState bodyState = StateWhenTrue; 2389var leftTrue = this.StateWhenTrue; 2423var resultTrue = this.StateWhenTrue; 2564var (stateWhenTrue, stateWhenFalse) = (StateWhenTrue.Clone(), StateWhenFalse.Clone()); 2580SetConditionalState(StateWhenFalse, StateWhenTrue); 2671SetConditionalState(StateWhenFalse, StateWhenTrue); 2754bodyState = this.StateWhenTrue; 3164var consequenceState = this.StateWhenTrue; 3184var (afterConsequenceWhenTrue, afterConsequenceWhenFalse) = conditionalAfterConsequence ? (StateWhenTrue, StateWhenFalse) : (State, State); 3233SetState(this.StateWhenTrue); 3456PendingBranches.Add(new PendingBranch(node, this.StateWhenTrue, node.Label)); 3462this.SetState(this.StateWhenTrue);
FlowAnalysis\AbstractFlowPass_Switch.cs (4)
62SetState(StateWhenTrue); 66SetState(StateWhenTrue); 165SetState(StateWhenTrue); 174SetState(StateWhenTrue);
FlowAnalysis\AlwaysAssignedWalker.cs (1)
126_endOfRegionState = StateWhenTrue.Clone();
FlowAnalysis\DefiniteAssignment.cs (1)
1963SetState(StateWhenTrue);
FlowAnalysis\DefinitelyAssignedWalker.cs (1)
77this.ProcessState(definitelyAssigned, this.StateWhenTrue, this.StateWhenFalse);
FlowAnalysis\NullableWalker.cs (11)
487return $"{{{GetType().Name} WhenTrue:{Dump(StateWhenTrue)} WhenFalse:{Dump(StateWhenFalse)}{"}"}"; 2894var joinedState = this.StateWhenTrue.Clone(); 2896PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.IsConditionalState, this.StateWhenTrue, this.StateWhenFalse)); 4911var (stateWhenTrue, stateWhenFalse) = (StateWhenTrue.Clone(), StateWhenFalse.Clone()); 4927SetConditionalState(StateWhenFalse, StateWhenTrue); 5762var consequenceState = this.StateWhenTrue; 6031=> this.IsConditionalState ? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable; 7160SetState(StateWhenTrue); 7455SetState(StateWhenTrue); 11048SetConditionalState(StateWhenFalse, StateWhenTrue); 11063SetConditionalState(StateWhenFalse, StateWhenTrue);
FlowAnalysis\NullableWalker_Patterns.cs (8)
324? new PossiblyConditionalState(nullableWalker.StateWhenTrue, nullableWalker.StateWhenFalse) 565gotoNode(p.WhenTrue, this.StateWhenTrue, nodeBelievedReachable); 580gotoNode(p.WhenTrue, this.StateWhenTrue, nodeBelievedReachable); 589gotoNode(p.WhenTrue, this.StateWhenTrue, nodeBelievedReachable); 610gotoNode(p.WhenTrue, isFalseTest ? this.StateWhenFalse : this.StateWhenTrue, nodeBelievedReachable); 611gotoNode(p.WhenFalse, isFalseTest ? this.StateWhenTrue : this.StateWhenFalse, nodeBelievedReachable); 618gotoNode(p.WhenTrue, this.StateWhenTrue, nodeBelievedReachable); 671gotoNode(w.WhenTrue, this.StateWhenTrue, nodeBelievedReachable);