7 writes to State
Microsoft.CodeAnalysis.CSharp (7)
FlowAnalysis\AbstractFlowPass.cs (4)
407
this.
State
= state.Clone();
745
Join(ref state, ref pending.
State
);
793
var changed = Join(ref state, ref pending.
State
);
1725
updatePendingBranchState(ref pend.
State
, ref stateMovedUpInFinally);
FlowAnalysis\AlwaysAssignedWalker.cs (2)
86
pending.
State
= pending.State.Reachable ? TopState() : UnreachableState();
138
Join(ref _endOfRegionState, ref branch.
State
);
FlowAnalysis\DataFlowsInWalker.cs (1)
87
pending.
State
= ResetState(pending.State);
13 references to State
Microsoft.CodeAnalysis.CSharp (13)
FlowAnalysis\AbstractFlowPass_LocalFunctions.cs (1)
122
this.State = pending.
State
;
FlowAnalysis\AbstractRegionControlFlowPass.cs (1)
44
this.State = returnBranch.
State
;
FlowAnalysis\AlwaysAssignedWalker.cs (1)
86
pending.State = pending.
State
.Reachable ? TopState() : UnreachableState();
FlowAnalysis\DataFlowsInWalker.cs (1)
87
pending.State = ResetState(pending.
State
);
FlowAnalysis\DefiniteAssignment.cs (2)
386
this.State = returnBranch.
State
;
2284
this.State = pending.
State
;
FlowAnalysis\NullableWalker.cs (7)
576
enforceMemberNotNull(syntaxOpt: pendingReturn.Branch.Syntax, pendingReturn.
State
);
580
EnforceParameterNotNullOnExit(returnStatement.Syntax, pendingReturn.
State
);
776
enforceMemberNotNullWhen(returnStatement.Syntax, sense: value, pendingReturn.
State
);
800
enforceMemberNotNullWhen(returnStatement.Syntax, sense: value, pendingReturn.
State
);
1115
EnforceParameterNotNullWhenOnExit(returnStatement.Syntax, parameters, sense: value, stateWhen: pendingReturn.
State
);
1137
EnforceParameterNotNullWhenOnExit(returnStatement.Syntax, parameters, sense: value, stateWhen: pendingReturn.
State
);
3123
EnforceParameterNotNullOnExit(returnStatement.Syntax, pendingReturn.
State
);