1 write to Lattice
ILLink.RoslynAnalyzer (1)
DataFlow\LocalStateLattice.cs (1)
84Lattice = new DictionaryLattice<LocalKey, TValue, TValueLattice>(valueLattice);
8 references to Lattice
ILLink.RoslynAnalyzer (8)
DataFlow\LocalDataFlowVisitor.cs (4)
47protected TValue TopValue => LocalStateAndContextLattice.LocalStateLattice.Lattice.ValueLattice.Top; 235? state.Lattice.LocalStateLattice.Lattice.ValueLattice.Meet(state.Get(local), value) 502value = LocalStateAndContextLattice.LocalStateLattice.Lattice.ValueLattice.Meet(value, singleValue); 622capturedValue = LocalStateAndContextLattice.LocalStateLattice.Lattice.ValueLattice.Meet(capturedValue, value);
DataFlow\LocalStateLattice.cs (2)
86Top = new(Lattice.Top); 93var dictionary = Lattice.Meet(left.Dictionary, right.Dictionary);
TrimAnalysis\TrimAnalysisVisitor.cs (1)
59_multiValueLattice = lattice.LocalStateLattice.Lattice.ValueLattice;
TrimAnalysis\TrimDataFlowAnalysis.cs (1)
51TrimAnalysisPatterns = new TrimAnalysisPatternStore(lattice.LocalStateLattice.Lattice.ValueLattice, lattice.ContextLattice);