10 writes to State
Microsoft.CodeAnalysis.CSharp (10)
FlowAnalysis\NullableWalker.cs (4)
6014LearnFromNonNullTest(slot, ref stateWhenNotNull.State); 12964Join(ref StateWhenTrue, ref otherIsConditional ? ref other.StateWhenTrue : ref other.State); 12965Join(ref StateWhenFalse, ref otherIsConditional ? ref other.StateWhenFalse : ref other.State); 12970Join(ref State, ref other.State);
FlowAnalysis\NullableWalker_Patterns.cs (6)
349State = default; 356State = state.Clone(); 785Join(ref this.StateWhenTrue, ref stateAndReachable.state.State); 786Join(ref this.StateWhenFalse, ref stateAndReachable.state.State); 795Join(ref this.State, ref stateAndReachable.state.State); 818Join(ref result.State, ref state);
6 references to State
Microsoft.CodeAnalysis.CSharp (6)
FlowAnalysis\NullableWalker.cs (4)
5193stateWhenNotNull = conditionalStateWhenNotNull.State; 12310stateWhenNotNull = conditionalStateWhenNotNull.State; 12978return conditionalState.State.Clone(); 12990SetState(conditionalState.State);
FlowAnalysis\NullableWalker_Patterns.cs (2)
370: new PossiblyConditionalState(State); 429SetState(nodeState.State);