10 writes to StateWhenFalse
Microsoft.CodeAnalysis.CSharp (10)
FlowAnalysis\NullableWalker.cs (5)
5211Join(ref stateWhenNotNull, ref conditionalStateWhenNotNull.StateWhenFalse); 6017LearnFromNonNullTest(slot, ref stateWhenNotNull.StateWhenFalse); 12338Join(ref stateWhenNotNull, ref conditionalStateWhenNotNull.StateWhenFalse); 12988Join(ref StateWhenFalse, ref otherIsConditional ? ref other.StateWhenFalse : ref other.State); 13005Join(ref state, ref conditionalState.StateWhenFalse);
FlowAnalysis\NullableWalker_Patterns.cs (5)
347StateWhenFalse = stateWhenFalse.Clone(); 354StateWhenTrue = StateWhenFalse = default; 783Join(ref this.StateWhenFalse, ref stateAndReachable.state.StateWhenFalse); 794Join(ref this.StateWhenFalse, ref stateAndReachable.state.StateWhenFalse); 817Join(ref result.StateWhenFalse, ref state);
4 references to StateWhenFalse
Microsoft.CodeAnalysis.CSharp (4)
FlowAnalysis\NullableWalker.cs (2)
5206stateWhenNotNull = boolValue ? conditionalStateWhenNotNull.StateWhenTrue : conditionalStateWhenNotNull.StateWhenFalse; 13017SetConditionalState(conditionalState.StateWhenTrue, conditionalState.StateWhenFalse);
FlowAnalysis\NullableWalker_Patterns.cs (2)
369? new PossiblyConditionalState(StateWhenTrue, StateWhenFalse) 425SetConditionalState(nodeState.StateWhenTrue, nodeState.StateWhenFalse);