3 instantiations of InterproceduralState
ILLink.RoslynAnalyzer (3)
DataFlow\InterproceduralState.cs (3)
49
=>
new
(Methods.DeepCopy(),
105
public InterproceduralState<TValue, TValueLattice> Top =>
new
(MethodLattice.Top,
109
=>
new
(
17 references to InterproceduralState
ILLink.RoslynAnalyzer (17)
DataFlow\InterproceduralState.cs (9)
14
public struct InterproceduralState<TValue, TValueLattice> : IEquatable<
InterproceduralState
<TValue, TValueLattice>>
39
public bool Equals(
InterproceduralState
<TValue, TValueLattice> other)
43
=> obj is
InterproceduralState
<TValue, TValueLattice> inst && Equals(inst);
48
public
InterproceduralState
<TValue, TValueLattice> Clone()
88
public struct InterproceduralStateLattice<TValue, TValueLattice> : ILattice<
InterproceduralState
<TValue, TValueLattice>>
105
public
InterproceduralState
<TValue, TValueLattice> Top => new(MethodLattice.Top,
108
public
InterproceduralState
<TValue, TValueLattice> Meet(
InterproceduralState
<TValue, TValueLattice> left,
InterproceduralState
<TValue, TValueLattice> right)
DataFlow\LocalDataFlowAnalysis.cs (4)
72
var
interproceduralState = interproceduralStateLattice.Top;
74
var
oldInterproceduralState = interproceduralState.Clone();
107
private void AnalyzeMethod(MethodBodyValue method, ref
InterproceduralState
<TValue, TLattice> interproceduralState)
123
InterproceduralState
<TValue, TLattice> interproceduralState);
DataFlow\LocalDataFlowVisitor.cs (2)
51
public
InterproceduralState
<TValue, TValueLattice> InterproceduralState;
65
InterproceduralState
<TValue, TValueLattice> interproceduralState)
TrimAnalysis\TrimAnalysisVisitor.cs (1)
53
InterproceduralState
<MultiValue, ValueSetLattice<SingleValue>> interproceduralState,
TrimAnalysis\TrimDataFlowAnalysis.cs (1)
64
InterproceduralState
<MultiValue, ValueSetLattice<SingleValue>> interproceduralState)