6 writes to State
Microsoft.CodeAnalysis.CSharp (6)
FlowAnalysis\AbstractFlowPass.cs (3)
407
this.
State
= state.Clone();
801
var changed = Join(ref state, ref pending.
State
);
1776
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)
385
this.State = returnBranch.
State
;
2403
this.State = pending.
State
;
FlowAnalysis\NullableWalker.cs (7)
609
enforceMemberNotNull(syntaxOpt: pendingReturn.Branch.Syntax, pendingReturn.
State
);
613
EnforceParameterNotNullOnExit(returnStatement.Syntax, pendingReturn.
State
);
808
enforceMemberNotNullWhen(returnStatement.Syntax, sense: value, pendingReturn.
State
);
832
enforceMemberNotNullWhen(returnStatement.Syntax, sense: value, pendingReturn.
State
);
1150
EnforceParameterNotNullWhenOnExit(returnStatement.Syntax, parameters, sense: value, stateWhen: pendingReturn.
State
);
1172
EnforceParameterNotNullWhenOnExit(returnStatement.Syntax, parameters, sense: value, stateWhen: pendingReturn.
State
);
3251
EnforceParameterNotNullOnExit(returnStatement.Syntax, pendingReturn.
State
);