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)
900
ref
InterproceduralState
ipState)
917
protected void StoreInReference(MultiValue target, MultiValue source, MethodDefinition method, Instruction operation, LocalVariableStore locals, int curBasicBlock, ref
InterproceduralState
ipState, int? parameterIndex)
964
ref
InterproceduralState
interproceduralState)
1013
ref
InterproceduralState
interproceduralState)
1080
internal MultiValue DereferenceValue(MultiValue maybeReferenceValue, LocalVariableStore locals, ref
InterproceduralState
interproceduralState)
1129
ref
InterproceduralState
ipState)
1162
ref
InterproceduralState
interproceduralState,
Linker.Dataflow\ReflectionMethodBodyScanner.cs (1)
71
protected override void Scan(MethodIL methodIL, ref
InterproceduralState
interproceduralState)