10 writes to State
Microsoft.CodeAnalysis.CSharp (10)
FlowAnalysis\NullableWalker.cs (4)
6344
LearnFromNonNullTest(slot, ref stateWhenNotNull.
State
);
13833
Join(ref StateWhenTrue, ref otherIsConditional ? ref other.StateWhenTrue : ref other.
State
);
13834
Join(ref StateWhenFalse, ref otherIsConditional ? ref other.StateWhenFalse : ref other.
State
);
13839
Join(ref State, ref other.
State
);
FlowAnalysis\NullableWalker_Patterns.cs (6)
351
State
= default;
358
State
= state.Clone();
896
Join(ref this.StateWhenTrue, ref stateAndReachable.state.
State
);
897
Join(ref this.StateWhenFalse, ref stateAndReachable.state.
State
);
906
Join(ref this.State, ref stateAndReachable.state.
State
);
929
Join(ref result.
State
, ref state);
6 references to State
Microsoft.CodeAnalysis.CSharp (6)
FlowAnalysis\NullableWalker.cs (4)
5521
stateWhenNotNull = conditionalStateWhenNotNull.
State
;
13125
stateWhenNotNull = conditionalStateWhenNotNull.
State
;
13847
return conditionalState.
State
.Clone();
13859
SetState(conditionalState.
State
);
FlowAnalysis\NullableWalker_Patterns.cs (2)
372
: new PossiblyConditionalState(
State
);
432
SetState(nodeState.
State
);