13 writes to NonMonotonicState
Microsoft.CodeAnalysis.CSharp (13)
FlowAnalysis\AbstractFlowPass.cs (8)
1918NonMonotonicState = ReachableBottomState(); 1929NonMonotonicState = oldTryState; 1947NonMonotonicState = ReachableBottomState(); 1958NonMonotonicState = oldTryState; 1993NonMonotonicState = ReachableBottomState(); 2004NonMonotonicState = oldTryState; 2599NonMonotonicState = ReachableBottomState(); 2612NonMonotonicState = oldState;
FlowAnalysis\AbstractFlowPass_LocalFunctions.cs (2)
88NonMonotonicState = ReachableBottomState(); 150NonMonotonicState = savedNonMonotonicState;
FlowAnalysis\DefiniteAssignment.cs (1)
1747NonMonotonicState = state;
FlowAnalysis\DefiniteAssignment.LocalFunctions.cs (1)
207NonMonotonicState = state;
FlowAnalysis\NullableWalker.cs (1)
2838NonMonotonicState = tryState;
17 references to NonMonotonicState
Microsoft.CodeAnalysis.CSharp (17)
FlowAnalysis\AbstractFlowPass.cs (8)
1917Optional<TLocalState> oldTryState = NonMonotonicState; 1920var tempTryStateValue = NonMonotonicState.Value; 1946Optional<TLocalState> oldTryState = NonMonotonicState; 1949var tempTryStateValue = NonMonotonicState.Value; 1992Optional<TLocalState> oldTryState = NonMonotonicState; 1995var tempTryStateValue = NonMonotonicState.Value; 2598Optional<TLocalState> oldState = NonMonotonicState; 2603var tempStateValue = NonMonotonicState.Value;
FlowAnalysis\AbstractFlowPass_LocalFunctions.cs (3)
85Optional<TLocalState> savedNonMonotonicState = NonMonotonicState; 164if (NonMonotonicState.HasValue) 166var value = NonMonotonicState.Value;
FlowAnalysis\DefiniteAssignment.cs (2)
1743if (NonMonotonicState.HasValue) 1745var state = NonMonotonicState.Value;
FlowAnalysis\DefiniteAssignment.LocalFunctions.cs (2)
203if (NonMonotonicState.HasValue) 205var state = NonMonotonicState.Value;
FlowAnalysis\NullableWalker.cs (2)
2832if (newState != NullableFlowState.NotNull && NonMonotonicState.HasValue) 2834var tryState = NonMonotonicState.Value;