1 implementation of Current
ILLink.RoslynAnalyzer (1)
DataFlow\LocalDataFlowState.cs (1)
17 public LocalStateAndContext<TValue, TContext> Current {
7 writes to Current
ILLink.RoslynAnalyzer (7)
src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (7)
76 Current = entryValue, 151 Current = lattice.Top, 227 Current = lattice.Top, 232 Current = lattice.Top, 346 state.Current = currentState; 353 state.Current = newValue; 359 finallyState.Current = exceptionFinallyState!.Value;
5 references to Current
ILLink.RoslynAnalyzer (5)
src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (5)
192 TValue branchState = lattice.Meet (lattice.Top, state.Current); 268 TValue predecessorState = cfgState.Get (predecessor).Current; 351 if (!changed && !newValue.Equals (state.Current)) 390 TraceBlockOutput (state.Current, exceptionState?.Value, exceptionFinallyState); 416 predecessorState = cfgState.Get (finallyExit.Value).Current;