1 write to HoistedLocalsLattice
illink (1)
Linker.Dataflow\InterproceduralState.cs (1)
98
=> (MethodBodyLattice,
HoistedLocalsLattice
, Context) = (methodBodyLattice, hoistedLocalsLattice, context);
3 references to HoistedLocalsLattice
illink (3)
Linker.Dataflow\InterproceduralState.cs (3)
80
lattice.
HoistedLocalsLattice
.ValueLattice.Meet (
100
public InterproceduralState Top => new InterproceduralState (MethodBodyLattice.Top,
HoistedLocalsLattice
.Top, this);
105
HoistedLocalsLattice
.Meet (left.HoistedLocals, right.HoistedLocals),