10 writes to State
Microsoft.CodeAnalysis.CSharp (10)
FlowAnalysis\NullableWalker.cs (4)
6073LearnFromNonNullTest(slot, ref stateWhenNotNull.State); 13127Join(ref StateWhenTrue, ref otherIsConditional ? ref other.StateWhenTrue : ref other.State); 13128Join(ref StateWhenFalse, ref otherIsConditional ? ref other.StateWhenFalse : ref other.State); 13133Join(ref State, ref other.State);
FlowAnalysis\NullableWalker_Patterns.cs (6)
349State = default; 356State = state.Clone(); 787Join(ref this.StateWhenTrue, ref stateAndReachable.state.State); 788Join(ref this.StateWhenFalse, ref stateAndReachable.state.State); 797Join(ref this.State, ref stateAndReachable.state.State); 820Join(ref result.State, ref state);
6 references to State
Microsoft.CodeAnalysis.CSharp (6)
FlowAnalysis\NullableWalker.cs (4)
5252stateWhenNotNull = conditionalStateWhenNotNull.State; 12473stateWhenNotNull = conditionalStateWhenNotNull.State; 13141return conditionalState.State.Clone(); 13153SetState(conditionalState.State);
FlowAnalysis\NullableWalker_Patterns.cs (2)
370: new PossiblyConditionalState(State); 429SetState(nodeState.State);