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