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