30 writes to StateWhenTrue
Microsoft.CodeAnalysis.CSharp (30)
FlowAnalysis\AbstractFlowPass.cs (6)
134StateWhenTrue = whenTrue; 141StateWhenTrue = StateWhenFalse = default(TLocalState); 158Join(ref StateWhenTrue, ref StateWhenFalse); 1695StateWhenTrue = unreachable; 3000Join(ref StateWhenTrue, ref savedState); 3333Join(ref this.StateWhenTrue, ref afterConsequenceWhenTrue);
FlowAnalysis\LocalDataFlowPass.cs (1)
138Normalize(ref this.StateWhenTrue);
FlowAnalysis\NullableWalker_Patterns.cs (9)
552learnFromNonNullTest(inputSlot, ref this.StateWhenTrue); 558var inputMaybeNull = GetState(ref this.StateWhenTrue, inputSlot).MayBeNull(); 567learnFromNonNullTest(inputSlot, ref this.StateWhenTrue); 575LearnFromNullTest(inputSlot, inputType, ref this.StateWhenTrue, markDependentSlotsNotNull: true); 596learnFromNonNullTest(inputSlot, ref this.StateWhenTrue); 605learnFromNonNullTest(inputSlot, ref this.StateWhenTrue); 898Join(ref this.StateWhenTrue, ref stateAndReachable.state.StateWhenTrue); 903Join(ref this.StateWhenTrue, ref stateAndReachable.state.State); 909Join(ref this.StateWhenTrue, ref stateAndReachable.state.StateWhenTrue);
FlowAnalysis\NullableWalker.cs (14)
5910LearnFromNullTest(operandComparedToNull, ref nonNullCase ? ref StateWhenFalse : ref StateWhenTrue); 5953ref LocalState stateToUpdate = ref whenTrue ? ref this.StateWhenTrue : ref this.StateWhenFalse; 6492LearnFromNonNullTest(slot, ref StateWhenTrue); 7328LearnFromNullTest(right, ref StateWhenTrue); 7334LearnFromNullTest(left, ref StateWhenTrue); 7340LearnFromNonNullTest(left, ref StateWhenTrue); 7345LearnFromNonNullTest(right, ref StateWhenTrue); 8083applyMemberPostConditions(receiverSlot, type, notNullMembers, ref StateWhenTrue); 8096applyMemberPostConditions(receiverSlot, type, notNullWhenTrueMembers, ref StateWhenTrue); 8106markMemberAsNotNull(receiverSlot, ref StateWhenTrue, unionValue); 8685LearnFromNonNullTest(argument, ref StateWhenTrue); 8695LearnFromNullTest(argument, ref StateWhenTrue); 12457SetState(ref this.StateWhenTrue, slotToSet, NullableFlowState.NotNull); 14004Join(ref StateWhenTrue, ref otherIsConditional ? ref other.StateWhenTrue : ref other.State);
48 references to StateWhenTrue
Microsoft.CodeAnalysis.CSharp (48)
FlowAnalysis\AbstractFlowPass_Switch.cs (4)
62SetState(StateWhenTrue); 66SetState(StateWhenTrue); 165SetState(StateWhenTrue); 174SetState(StateWhenTrue);
FlowAnalysis\AbstractFlowPass.cs (19)
159SetState(StateWhenTrue); 228? $"true: {Dump(this.StateWhenTrue)} false: {Dump(this.StateWhenFalse)}" 949SetConditionalState(StateWhenFalse, StateWhenTrue); 969SetState(this.StateWhenTrue); 975SetConditionalState(this.StateWhenFalse, this.StateWhenTrue); 1791trueState = StateWhenTrue; 1992SetState(StateWhenTrue); 2355TLocalState bodyState = StateWhenTrue; 2520var leftTrue = this.StateWhenTrue; 2552var resultTrue = this.StateWhenTrue; 2697var (stateWhenTrue, stateWhenFalse) = (StateWhenTrue.Clone(), StateWhenFalse.Clone()); 2713SetConditionalState(StateWhenFalse, StateWhenTrue); 2804SetConditionalState(StateWhenFalse, StateWhenTrue); 2887bodyState = this.StateWhenTrue; 3302var consequenceState = this.StateWhenTrue; 3322var (afterConsequenceWhenTrue, afterConsequenceWhenFalse) = conditionalAfterConsequence ? (StateWhenTrue, StateWhenFalse) : (State, State); 3371SetState(this.StateWhenTrue); 3603PendingBranches.Add(new PendingBranch(node, this.StateWhenTrue, node.Label)); 3609this.SetState(this.StateWhenTrue);
FlowAnalysis\AlwaysAssignedWalker.cs (1)
127_endOfRegionState = StateWhenTrue.Clone();
FlowAnalysis\DefiniteAssignment.cs (2)
1957SetState(StateWhenTrue); 2382var whenTrue = StateWhenTrue.Clone();
FlowAnalysis\DefinitelyAssignedWalker.cs (1)
77this.ProcessState(definitelyAssigned, this.StateWhenTrue, this.StateWhenFalse);
FlowAnalysis\NullableWalker_Patterns.cs (8)
365? new PossiblyConditionalState(nullableWalker.StateWhenTrue, nullableWalker.StateWhenFalse) 554gotoNode(p.WhenTrue, this.StateWhenTrue, nodeBelievedReachable, from: p, whenTrueBranch: true); 569gotoNode(p.WhenTrue, this.StateWhenTrue, nodeBelievedReachable, from: p, whenTrueBranch: true); 578gotoNode(p.WhenTrue, this.StateWhenTrue, nodeBelievedReachable, from: p, whenTrueBranch: true); 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); 607gotoNode(p.WhenTrue, this.StateWhenTrue, nodeBelievedReachable, from: p, whenTrueBranch: true); 660gotoNode(w.WhenTrue, this.StateWhenTrue, nodeBelievedReachable, from: w, whenTrueBranch: true);
FlowAnalysis\NullableWalker.cs (13)
538return $"{{{GetType().Name} WhenTrue:{Dump(StateWhenTrue)} WhenFalse:{Dump(StateWhenFalse)}{"}"}"; 3194var joinedState = this.StateWhenTrue.Clone(); 3196PendingBranches.Add(new PendingBranch(node, joinedState, label: null, this.IsConditionalState, this.StateWhenTrue, this.StateWhenFalse)); 5622var (stateWhenTrue, stateWhenFalse) = (StateWhenTrue.Clone(), StateWhenFalse.Clone()); 5654SetConditionalState(StateWhenFalse, StateWhenTrue); 6549var consequenceState = this.StateWhenTrue; 6818=> this.IsConditionalState ? (this.StateWhenTrue.Reachable || this.StateWhenFalse.Reachable) : this.State.Reachable; 8265SetState(StateWhenTrue); 8561SetState(StateWhenTrue); 12904SetConditionalState(StateWhenFalse, StateWhenTrue); 12919SetConditionalState(StateWhenFalse, StateWhenTrue); 13108var leftTrue = this.StateWhenTrue; 13125var leftTrue = this.StateWhenTrue;