1 write to MethodBodyLattice
illink (1)
Linker.Dataflow\InterproceduralState.cs (1)
98
=> (
MethodBodyLattice
, HoistedLocalsLattice, Context) = (methodBodyLattice, hoistedLocalsLattice, context);
2 references to MethodBodyLattice
illink (2)
Linker.Dataflow\InterproceduralState.cs (2)
100
public InterproceduralState Top => new InterproceduralState (
MethodBodyLattice
.Top, HoistedLocalsLattice.Top, this);
104
MethodBodyLattice
.Meet (left.MethodBodies, right.MethodBodies),