3 instantiations of InterproceduralState
illink (3)
Linker.Dataflow\InterproceduralState.cs (3)
38
=>
new
(MethodBodies.DeepCopy (), HoistedLocals.Clone (), lattice);
100
public InterproceduralState Top => new
InterproceduralState
(MethodBodyLattice.Top, HoistedLocalsLattice.Top, this);
103
=>
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 ()
88
readonly struct InterproceduralStateLattice : ILattice<
InterproceduralState
>
100
public
InterproceduralState
Top => new InterproceduralState (MethodBodyLattice.Top, HoistedLocalsLattice.Top, this);
102
public
InterproceduralState
Meet (
InterproceduralState
left,
InterproceduralState
right)
Linker.Dataflow\MethodBodyScanner.cs (11)
234
var
interproceduralState = InterproceduralStateLattice.Top;
236
var
oldInterproceduralState = interproceduralState.Clone ();
265
void TrackNestedFunctionReference (MethodReference referencedMethod, ref
InterproceduralState
interproceduralState)
276
protected virtual void Scan (MethodIL methodIL, ref
InterproceduralState
interproceduralState)
844
ref
InterproceduralState
ipState)
861
protected void StoreInReference (MultiValue target, MultiValue source, MethodDefinition method, Instruction operation, LocalVariableStore locals, int curBasicBlock, ref
InterproceduralState
ipState, int? parameterIndex)
906
ref
InterproceduralState
interproceduralState)
949
ref
InterproceduralState
interproceduralState)
1011
internal MultiValue DereferenceValue (MultiValue maybeReferenceValue, LocalVariableStore locals, ref
InterproceduralState
interproceduralState)
1058
ref
InterproceduralState
ipState)
1086
ref
InterproceduralState
interproceduralState,
Linker.Dataflow\ReflectionMethodBodyScanner.cs (1)
71
protected override void Scan (MethodIL methodIL, ref
InterproceduralState
interproceduralState)