7 writes to State
Microsoft.CodeAnalysis.CSharp (7)
FlowAnalysis\NullableWalker.cs (4)
5801
LearnFromNonNullTest(slot, ref stateWhenNotNull.
State
);
12229
Join(ref StateWhenTrue, ref otherIsConditional ? ref other.StateWhenTrue : ref other.
State
);
12230
Join(ref StateWhenFalse, ref otherIsConditional ? ref other.StateWhenFalse : ref other.
State
);
12235
Join(ref State, ref other.
State
);
FlowAnalysis\NullableWalker_Patterns.cs (3)
349
State
= default;
356
State
= state.Clone();
818
Join(ref result.
State
, ref state);
6 references to State
Microsoft.CodeAnalysis.CSharp (6)
FlowAnalysis\NullableWalker.cs (4)
5037
stateWhenNotNull = conditionalStateWhenNotNull.
State
;
11575
stateWhenNotNull = conditionalStateWhenNotNull.
State
;
12243
return conditionalState.
State
.Clone();
12255
SetState(conditionalState.
State
);
FlowAnalysis\NullableWalker_Patterns.cs (2)
370
: new PossiblyConditionalState(
State
);
429
SetState(nodeState.
State
);