1 write to LocalStateLattice
ILLink.RoslynAnalyzer (1)
DataFlow\LocalStateAndContextLattice.cs (1)
43
LocalStateLattice
= localStateLattice;
9 references to LocalStateLattice
ILLink.RoslynAnalyzer (9)
DataFlow\LocalDataFlowVisitor.cs (5)
53
protected TValue TopValue => LocalStateAndContextLattice.
LocalStateLattice
.Lattice.ValueLattice.Top;
257
? state.Lattice.
LocalStateLattice
.Lattice.ValueLattice.Meet(state.Get(local), value)
578
value = LocalStateAndContextLattice.
LocalStateLattice
.Lattice.ValueLattice.Meet(value, singleValue);
609
result = LocalStateAndContextLattice.
LocalStateLattice
.Lattice.ValueLattice.Meet(result, singleValue);
1175
capturedValue = LocalStateAndContextLattice.
LocalStateLattice
.Lattice.ValueLattice.Meet(capturedValue, value);
DataFlow\LocalStateAndContextLattice.cs (2)
45
Top = new(
LocalStateLattice
.Top, ContextLattice.Top);
54
LocalState =
LocalStateLattice
.Meet(left.LocalState, right.LocalState),
TrimAnalysis\TrimAnalysisVisitor.cs (1)
60
_multiValueLattice = lattice.
LocalStateLattice
.Lattice.ValueLattice;
TrimAnalysis\TrimDataFlowAnalysis.cs (1)
51
TrimAnalysisPatterns = new TrimAnalysisPatternStore(lattice.
LocalStateLattice
.Lattice.ValueLattice, lattice.ContextLattice);