1 write to lattice
ILLink.RoslynAnalyzer (1)
src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (1)
187this.lattice = lattice;
22 references to lattice
ILLink.RoslynAnalyzer (22)
src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (19)
199TValue branchState = lattice.Meet(lattice.Top, state.Current); 222var cfgState = new ControlFlowGraphState(cfg, lattice, entryValue); 235Lattice = lattice, 236Current = lattice.Top, 241Lattice = lattice, 242Current = lattice.Top, 278TValue currentState = lattice.Top; 285currentState = lattice.Meet(currentState, predecessorState); 293currentState = lattice.Meet(currentState, tryExceptionState.Value); 302currentState = lattice.Meet(currentState, previousFilterExceptionState.Value); 308currentState = lattice.Meet(currentState, finallyInputState); 317exceptionFinallyState = lattice.Top; 325exceptionFinallyState = lattice.Meet(exceptionFinallyState.Value, predecessorState); 337exceptionFinallyState = lattice.Meet(exceptionFinallyState.Value, tryExceptionState.Value); 351exceptionState!.Value = lattice.Meet(exceptionState!.Value, currentState); 357exceptionState!.Value = lattice.Meet(exceptionState!.Value, exceptionFinallyState!.Value); 411tryOrCatchExceptionState.Value = lattice.Meet(tryOrCatchExceptionState!.Value, exceptionState!.Value); 427TValue finallyInputState = lattice.Meet(oldFinallyInputState, predecessorState);
TrimAnalysis\TrimDataFlowAnalysis.cs (3)
51TrimAnalysisPatterns = new TrimAnalysisPatternStore(lattice.LocalStateLattice.Lattice.ValueLattice, lattice.ContextLattice); 65=> new(Context.Compilation, lattice, owningSymbol, methodCFG, lValueFlowCaptures, TrimAnalysisPatterns, interproceduralState, _dataFlowAnalyzerContext);