13 writes to NonMonotonicState
Microsoft.CodeAnalysis.CSharp (13)
FlowAnalysis\AbstractFlowPass.cs (8)
1913NonMonotonicState = ReachableBottomState(); 1924NonMonotonicState = oldTryState; 1942NonMonotonicState = ReachableBottomState(); 1953NonMonotonicState = oldTryState; 1987NonMonotonicState = ReachableBottomState(); 1998NonMonotonicState = oldTryState; 2570NonMonotonicState = ReachableBottomState(); 2583NonMonotonicState = oldState;
FlowAnalysis\AbstractFlowPass_LocalFunctions.cs (2)
88NonMonotonicState = ReachableBottomState(); 150NonMonotonicState = savedNonMonotonicState;
FlowAnalysis\DefiniteAssignment.cs (1)
1795NonMonotonicState = state;
FlowAnalysis\DefiniteAssignment.LocalFunctions.cs (1)
207NonMonotonicState = state;
FlowAnalysis\NullableWalker.cs (1)
2697NonMonotonicState = tryState;
17 references to NonMonotonicState
Microsoft.CodeAnalysis.CSharp (17)
FlowAnalysis\AbstractFlowPass.cs (8)
1912Optional<TLocalState> oldTryState = NonMonotonicState; 1915var tempTryStateValue = NonMonotonicState.Value; 1941Optional<TLocalState> oldTryState = NonMonotonicState; 1944var tempTryStateValue = NonMonotonicState.Value; 1986Optional<TLocalState> oldTryState = NonMonotonicState; 1989var tempTryStateValue = NonMonotonicState.Value; 2569Optional<TLocalState> oldState = NonMonotonicState; 2574var tempStateValue = NonMonotonicState.Value;
FlowAnalysis\AbstractFlowPass_LocalFunctions.cs (3)
85Optional<TLocalState> savedNonMonotonicState = NonMonotonicState; 164if (NonMonotonicState.HasValue) 166var value = NonMonotonicState.Value;
FlowAnalysis\DefiniteAssignment.cs (2)
1791if (NonMonotonicState.HasValue) 1793var state = NonMonotonicState.Value;
FlowAnalysis\DefiniteAssignment.LocalFunctions.cs (2)
203if (NonMonotonicState.HasValue) 205var state = NonMonotonicState.Value;
FlowAnalysis\NullableWalker.cs (2)
2691if (newState != NullableFlowState.NotNull && NonMonotonicState.HasValue) 2693var tryState = NonMonotonicState.Value;