1 write to ValueLattice
ILLink.RoslynAnalyzer (1)
src\tools\illink\src\ILLink.Shared\DataFlow\MaybeLattice.cs (1)
41
ValueLattice
= valueLattice;
2 references to ValueLattice
ILLink.RoslynAnalyzer (2)
DataFlow\InterproceduralState.cs (1)
66
HoistedLocals.Set(key, new Maybe<TValue>(lattice.HoistedLocalLattice.ValueLattice.
ValueLattice
.Top));
src\tools\illink\src\ILLink.Shared\DataFlow\MaybeLattice.cs (1)
51
return new Maybe<T>(
ValueLattice
.Meet(leftValue, rightValue));