3 writes to Value
illink (3)
Linker.Dataflow\MethodBodyScanner.cs (3)
31
Value
= new MultiValue(UnknownValue.Instance);
36
Value
= new MultiValue(value);
41
Value
= value;
17 references to Value
illink (17)
Linker.Dataflow\MethodBodyScanner.cs (17)
102
return new StackSlot(MultiValueLattice.Meet(a.
Value
, b.
Value
));
540
currentStack.Push(new StackSlot(ArrayValue.Create(count.
Value
, (TypeReference)operation.Operand)));
700
MultiValue retValue = DereferenceValue(retStackSlot.
Value
, locals, ref interproceduralState);
800
HandleStoreParameter(thisMethod, targetParameterValue, operation, valueToStore.
Value
, null);
891
StoreMethodLocalValue(locals, valueToStore.
Value
, localDef, curBasicBlock);
905
StoreInReference(destination.
Value
, valueToStore.
Value
, methodBody.Method, operation, locals, curBasicBlock, ref ipState, null);
1024
interproceduralState.SetHoistedLocal(new HoistedLocalKey(field), valueToStoreSlot.
Value
);
1036
MultiValue valueToStore = DereferenceValue(valueToStoreSlot.
Value
, locals, ref interproceduralState);
1069
methodParams.Add(slot.
Value
);
1231
int? indexToStoreAtInt = indexToStoreAt.
Value
.AsConstInt();
1232
foreach (var array in arrayToStoreIn.
Value
.AsEnumerable())
1243
StoreMethodLocalValue(arrValue.IndexValues, ArrayValue.SanitizeArrayElementValue(valueToStore.
Value
), indexToStoreAtInt.Value, curBasicBlock, MaxTrackedArrayValues);
1264
if (arrayToLoadFrom.
Value
.AsSingleValue() is ArrayOfAnnotatedSystemTypeValue arrayOfAnnotated)
1277
if (arrayToLoadFrom.
Value
.AsSingleValue() is not ArrayValue arr)
1283
int? index = indexToLoadFrom.
Value
.AsConstInt();