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)
1552
returnValue = (returnValue == null) ? value : MultiValueLattice.
Meet
(returnValue.Value, value);
TrimAnalysis\ArrayValue.cs (1)
19
result = MultiValueLattice.
Meet
(result, new MultiValue(new ArrayValue(sizeValue)));
TrimAnalysis\HandleCallAction.cs (1)
234
maybeMethodReturnValue = (maybeMethodReturnValue is null) ? value : multiValueLattice.
Meet
((MultiValue)maybeMethodReturnValue, value);
TrimAnalysis\TrimAnalysisAssignmentPattern.cs (2)
48
lattice.
Meet
(Source, other.Source),
49
lattice.
Meet
(Target, other.Target),
TrimAnalysis\TrimAnalysisMethodCallPattern.cs (2)
66
argumentsBuilder.Add(lattice.
Meet
(Arguments[i], other.Arguments[i]));
71
lattice.
Meet
(Instance, other.Instance),
TrimAnalysis\TrimAnalysisVisitor.cs (5)
201
result = _multiValueLattice.
Meet
(result, left);
207
result = _multiValueLattice.
Meet
(result, right);
210
result = _multiValueLattice.
Meet
(result, new ConstIntValue(leftConstInt.Value | rightConstInt.Value));
267
result = _multiValueLattice.
Meet
(result, elementValue);
290
? _multiValueLattice.
Meet
(arr.IndexValues[index.Value], sanitizedValue)