1 write to Lattice
ILLink.RoslynAnalyzer (1)
DataFlow\LocalStateLattice.cs (1)
90Lattice = 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; 237? state.Lattice.LocalStateLattice.Lattice.ValueLattice.Meet(state.Get(local), value) 449value = LocalStateAndContextLattice.LocalStateLattice.Lattice.ValueLattice.Meet(value, singleValue); 569capturedValue = LocalStateAndContextLattice.LocalStateLattice.Lattice.ValueLattice.Meet(capturedValue, value);
DataFlow\LocalStateLattice.cs (2)
92Top = new(Lattice.Top); 99var dictionary = Lattice.Meet(left.Dictionary, right.Dictionary);
TrimAnalysis\TrimAnalysisVisitor.cs (1)
57_multiValueLattice = lattice.LocalStateLattice.Lattice.ValueLattice;
TrimAnalysis\TrimDataFlowAnalysis.cs (1)
51TrimAnalysisPatterns = new TrimAnalysisPatternStore(lattice.LocalStateLattice.Lattice.ValueLattice, lattice.ContextLattice);