Implemented interface member:
method
Meet
ILLink.Shared.DataFlow.ILattice<TValue>.Meet(TValue, TValue)
13 references to Meet
ILLink.RoslynAnalyzer (13)
DataFlow\InterproceduralState.cs (1)
110
MethodLattice.
Meet
(left.Methods, right.Methods),
src\tools\illink\src\ILLink.Shared\TrimAnalysis\HandleCallAction.cs (1)
1289
returnValue = (returnValue == null) ? value : MultiValueLattice.
Meet
(returnValue.Value, value);
TrimAnalysis\ArrayValue.cs (1)
18
result = MultiValueLattice.
Meet
(result, new MultiValue (new ArrayValue (sizeValue)));
TrimAnalysis\HandleCallAction.cs (1)
160
maybeMethodReturnValue = (maybeMethodReturnValue is null) ? value : multiValueLattice.
Meet
((MultiValue) maybeMethodReturnValue, value);
TrimAnalysis\TrimAnalysisAssignmentPattern.cs (2)
49
lattice.
Meet
(Source, other.Source),
50
lattice.
Meet
(Target, other.Target),
TrimAnalysis\TrimAnalysisMethodCallPattern.cs (2)
61
argumentsBuilder.Add (lattice.
Meet
(Arguments[i], other.Arguments[i]));
66
lattice.
Meet
(Instance, other.Instance),
TrimAnalysis\TrimAnalysisVisitor.cs (5)
195
result = _multiValueLattice.
Meet
(result, left);
199
result = _multiValueLattice.
Meet
(result, right);
201
result = _multiValueLattice.
Meet
(result, new ConstIntValue (leftConstInt.Value | rightConstInt.Value));
256
result = _multiValueLattice.
Meet
(result, elementValue);
274
? _multiValueLattice.
Meet
(arr.IndexValues[index.Value], sanitizedValue)