1 write to ContextLattice
ILLink.RoslynAnalyzer (1)
DataFlow\LocalStateAndContextLattice.cs (1)
43
ContextLattice
= contextLattice;
3 references to ContextLattice
ILLink.RoslynAnalyzer (3)
DataFlow\LocalStateAndContextLattice.cs (2)
44
Top = new (LocalStateLattice.Top,
ContextLattice
.Top);
53
Context =
ContextLattice
.Meet (left.Context, right.Context)
TrimAnalysis\TrimDataFlowAnalysis.cs (1)
51
TrimAnalysisPatterns = new TrimAnalysisPatternStore (lattice.LocalStateLattice.Lattice.ValueLattice, lattice.
ContextLattice
);