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