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;
233
? state.Lattice.LocalStateLattice.
Lattice
.ValueLattice.Meet (state.Get (local), value)
423
value = LocalStateAndContextLattice.LocalStateLattice.
Lattice
.ValueLattice.Meet (value, singleValue);
532
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);