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
));
549
currentStack.Push(new StackSlot(ArrayValue.Create(count.
Value
, arrayElementType)));
709
MultiValue retValue = DereferenceValue(retStackSlot.
Value
, locals, ref interproceduralState);
808
HandleStoreParameter(methodIL, targetParameterValue, operation, valueToStore.
Value
, null);
910
StoreMethodLocalValue(locals, valueToStore.
Value
, localDef, curBasicBlock);
924
StoreInReference(destination.
Value
, valueToStore.
Value
, methodIL, operation, locals, curBasicBlock, ref ipState, null);
1049
interproceduralState.SetHoistedLocal(new HoistedLocalKey(fieldDefinition), valueToStoreSlot.
Value
);
1061
MultiValue valueToStore = DereferenceValue(valueToStoreSlot.
Value
, locals, ref interproceduralState);
1094
methodParams.Add(slot.
Value
);
1256
int? indexToStoreAtInt = indexToStoreAt.
Value
.AsConstInt();
1257
foreach (var array in arrayToStoreIn.
Value
.AsEnumerable())
1268
StoreMethodLocalValue(arrValue.IndexValues, ArrayValue.SanitizeArrayElementValue(valueToStore.
Value
), indexToStoreAtInt.Value, curBasicBlock, MaxTrackedArrayValues);
1289
if (arrayToLoadFrom.
Value
.AsSingleValue() is ArrayOfAnnotatedSystemTypeValue arrayOfAnnotated)
1302
if (arrayToLoadFrom.
Value
.AsSingleValue() is not ArrayValue arr)
1308
int? index = indexToLoadFrom.
Value
.AsConstInt();