13 writes to NonMonotonicState
Microsoft.CodeAnalysis.CSharp (13)
FlowAnalysis\AbstractFlowPass.cs (8)
1967
NonMonotonicState
= ReachableBottomState();
1978
NonMonotonicState
= oldTryState;
1996
NonMonotonicState
= ReachableBottomState();
2007
NonMonotonicState
= oldTryState;
2042
NonMonotonicState
= ReachableBottomState();
2053
NonMonotonicState
= oldTryState;
2649
NonMonotonicState
= ReachableBottomState();
2662
NonMonotonicState
= oldState;
FlowAnalysis\AbstractFlowPass_LocalFunctions.cs (2)
88
NonMonotonicState
= ReachableBottomState();
150
NonMonotonicState
= savedNonMonotonicState;
FlowAnalysis\DefiniteAssignment.cs (1)
1748
NonMonotonicState
= state;
FlowAnalysis\DefiniteAssignment.LocalFunctions.cs (1)
207
NonMonotonicState
= state;
FlowAnalysis\NullableWalker.cs (1)
2840
NonMonotonicState
= tryState;
17 references to NonMonotonicState
Microsoft.CodeAnalysis.CSharp (17)
FlowAnalysis\AbstractFlowPass.cs (8)
1966
Optional<TLocalState> oldTryState =
NonMonotonicState
;
1969
var tempTryStateValue =
NonMonotonicState
.Value;
1995
Optional<TLocalState> oldTryState =
NonMonotonicState
;
1998
var tempTryStateValue =
NonMonotonicState
.Value;
2041
Optional<TLocalState> oldTryState =
NonMonotonicState
;
2044
var tempTryStateValue =
NonMonotonicState
.Value;
2648
Optional<TLocalState> oldState =
NonMonotonicState
;
2653
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)
1744
if (
NonMonotonicState
.HasValue)
1746
var state =
NonMonotonicState
.Value;
FlowAnalysis\DefiniteAssignment.LocalFunctions.cs (2)
203
if (
NonMonotonicState
.HasValue)
205
var state =
NonMonotonicState
.Value;
FlowAnalysis\NullableWalker.cs (2)
2834
if (newState != NullableFlowState.NotNull &&
NonMonotonicState
.HasValue)
2836
var tryState =
NonMonotonicState
.Value;