13 writes to NonMonotonicState
Microsoft.CodeAnalysis.CSharp (13)
FlowAnalysis\AbstractFlowPass.cs (8)
1772
NonMonotonicState
= ReachableBottomState();
1783
NonMonotonicState
= oldTryState;
1801
NonMonotonicState
= ReachableBottomState();
1812
NonMonotonicState
= oldTryState;
1846
NonMonotonicState
= ReachableBottomState();
1857
NonMonotonicState
= oldTryState;
2378
NonMonotonicState
= ReachableBottomState();
2391
NonMonotonicState
= oldState;
FlowAnalysis\AbstractFlowPass_LocalFunctions.cs (2)
83
NonMonotonicState
= ReachableBottomState();
150
NonMonotonicState
= savedNonMonotonicState;
FlowAnalysis\DefiniteAssignment.cs (1)
1675
NonMonotonicState
= state;
FlowAnalysis\DefiniteAssignment.LocalFunctions.cs (1)
207
NonMonotonicState
= state;
FlowAnalysis\NullableWalker.cs (1)
2630
NonMonotonicState
= tryState;
17 references to NonMonotonicState
Microsoft.CodeAnalysis.CSharp (17)
FlowAnalysis\AbstractFlowPass.cs (8)
1771
Optional<TLocalState> oldTryState =
NonMonotonicState
;
1774
var tempTryStateValue =
NonMonotonicState
.Value;
1800
Optional<TLocalState> oldTryState =
NonMonotonicState
;
1803
var tempTryStateValue =
NonMonotonicState
.Value;
1845
Optional<TLocalState> oldTryState =
NonMonotonicState
;
1848
var tempTryStateValue =
NonMonotonicState
.Value;
2377
Optional<TLocalState> oldState =
NonMonotonicState
;
2382
var tempStateValue =
NonMonotonicState
.Value;
FlowAnalysis\AbstractFlowPass_LocalFunctions.cs (3)
80
Optional<TLocalState> savedNonMonotonicState =
NonMonotonicState
;
164
if (
NonMonotonicState
.HasValue)
166
var value =
NonMonotonicState
.Value;
FlowAnalysis\DefiniteAssignment.cs (2)
1671
if (
NonMonotonicState
.HasValue)
1673
var state =
NonMonotonicState
.Value;
FlowAnalysis\DefiniteAssignment.LocalFunctions.cs (2)
203
if (
NonMonotonicState
.HasValue)
205
var state =
NonMonotonicState
.Value;
FlowAnalysis\NullableWalker.cs (2)
2624
if (newState != NullableFlowState.NotNull &&
NonMonotonicState
.HasValue)
2626
var tryState =
NonMonotonicState
.Value;