1 write to Lattice
ILLink.RoslynAnalyzer (1)
DataFlow\LocalStateLattice.cs (1)
159Lattice = new DictionaryLattice<LocalKey, TValue, TValueLattice>(valueLattice);
9 references to Lattice
ILLink.RoslynAnalyzer (9)
DataFlow\LocalDataFlowVisitor.cs (5)
53protected TValue TopValue => LocalStateAndContextLattice.LocalStateLattice.Lattice.ValueLattice.Top; 257? state.Lattice.LocalStateLattice.Lattice.ValueLattice.Meet(state.Get(local), value) 578value = LocalStateAndContextLattice.LocalStateLattice.Lattice.ValueLattice.Meet(value, singleValue); 609result = LocalStateAndContextLattice.LocalStateLattice.Lattice.ValueLattice.Meet(result, singleValue); 1175capturedValue = LocalStateAndContextLattice.LocalStateLattice.Lattice.ValueLattice.Meet(capturedValue, value);
DataFlow\LocalStateLattice.cs (2)
163Top = new(Lattice.Top); 170var dictionary = Lattice.Meet(left.Dictionary, right.Dictionary);
TrimAnalysis\TrimAnalysisVisitor.cs (1)
60_multiValueLattice = lattice.LocalStateLattice.Lattice.ValueLattice;
TrimAnalysis\TrimDataFlowAnalysis.cs (1)
51TrimAnalysisPatterns = new TrimAnalysisPatternStore(lattice.LocalStateLattice.Lattice.ValueLattice, lattice.ContextLattice);