1 write to MethodLattice
ILLink.RoslynAnalyzer (1)
DataFlow\InterproceduralState.cs (1)
101MethodLattice = methodLattice;
2 references to MethodLattice
ILLink.RoslynAnalyzer (2)
DataFlow\InterproceduralState.cs (2)
105public InterproceduralState<TValue, TValueLattice> Top => new(MethodLattice.Top, 110MethodLattice.Meet(left.Methods, right.Methods),