6 writes to State
Microsoft.CodeAnalysis.CSharp (6)
FlowAnalysis\AbstractFlowPass.cs (3)
406this.State = state.Clone(); 800var changed = Join(ref state, ref pending.State); 1866updatePendingBranchState(ref pend.State, ref stateMovedUpInFinally);
FlowAnalysis\AlwaysAssignedWalker.cs (2)
86pending.State = pending.State.Reachable ? TopState() : UnreachableState(); 138Join(ref _endOfRegionState, ref branch.State);
FlowAnalysis\DataFlowsInWalker.cs (1)
87pending.State = ResetState(pending.State);
13 references to State
Microsoft.CodeAnalysis.CSharp (13)
FlowAnalysis\AbstractFlowPass_LocalFunctions.cs (1)
122this.State = pending.State;
FlowAnalysis\AbstractRegionControlFlowPass.cs (1)
44this.State = returnBranch.State;
FlowAnalysis\AlwaysAssignedWalker.cs (1)
86pending.State = pending.State.Reachable ? TopState() : UnreachableState();
FlowAnalysis\DataFlowsInWalker.cs (1)
87pending.State = ResetState(pending.State);
FlowAnalysis\DefiniteAssignment.cs (2)
385this.State = returnBranch.State; 2448this.State = pending.State;
FlowAnalysis\NullableWalker.cs (7)
610enforceMemberNotNull(syntaxOpt: pendingReturn.Branch.Syntax, pendingReturn.State); 614EnforceParameterNotNullOnExit(returnStatement.Syntax, pendingReturn.State); 1066enforceMemberNotNullWhen(returnStatement.Syntax, sense: value, pendingReturn.State); 1224EnforceParameterNotNullWhenOnExit(returnStatement.Syntax, parameters, sense: value, stateWhen: pendingReturn.State); 1246EnforceParameterNotNullWhenOnExit(returnStatement.Syntax, parameters, sense: value, stateWhen: pendingReturn.State); 3361enforceMemberNotNull(syntax: pendingReturn.Branch?.Syntax, pendingReturn.State); 3366EnforceParameterNotNullOnExit(returnStatement.Syntax, pendingReturn.State);