3 instantiations of InterproceduralState
illink (3)
Linker.Dataflow\InterproceduralState.cs (3)
38
=>
new
(MethodBodies.DeepCopy(), HoistedLocals.Clone(), lattice);
102
public InterproceduralState Top => new
InterproceduralState
(MethodBodyLattice.Top, HoistedLocalsLattice.Top, this);
105
=>
new
(
21 references to InterproceduralState
illink (21)
Linker.Dataflow\InterproceduralState.cs (9)
20
struct InterproceduralState : IEquatable<
InterproceduralState
>
29
public bool Equals(
InterproceduralState
other)
33
=> obj is
InterproceduralState
state && Equals(state);
37
public
InterproceduralState
Clone()
90
readonly struct InterproceduralStateLattice : ILattice<
InterproceduralState
>
102
public
InterproceduralState
Top => new InterproceduralState(MethodBodyLattice.Top, HoistedLocalsLattice.Top, this);
104
public
InterproceduralState
Meet(
InterproceduralState
left,
InterproceduralState
right)
Linker.Dataflow\MethodBodyScanner.cs (11)
255
var
interproceduralState = InterproceduralStateLattice.Top;
257
var
oldInterproceduralState = interproceduralState.Clone();
290
void TrackNestedFunctionReference(MethodReference referencedMethod, ref
InterproceduralState
interproceduralState)
301
protected virtual void Scan(MethodIL methodIL, ref
InterproceduralState
interproceduralState)
899
ref
InterproceduralState
ipState)
916
protected void StoreInReference(MultiValue target, MultiValue source, MethodIL methodIL, Instruction operation, LocalVariableStore locals, int curBasicBlock, ref
InterproceduralState
ipState, int? parameterIndex)
963
ref
InterproceduralState
interproceduralState)
1011
ref
InterproceduralState
interproceduralState)
1078
internal MultiValue DereferenceValue(MultiValue maybeReferenceValue, LocalVariableStore locals, ref
InterproceduralState
interproceduralState)
1127
ref
InterproceduralState
ipState)
1160
ref
InterproceduralState
interproceduralState,
Linker.Dataflow\ReflectionMethodBodyScanner.cs (1)
71
protected override void Scan(MethodIL methodIL, ref
InterproceduralState
interproceduralState)