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