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)));
710
MultiValue retValue = DereferenceValue(retStackSlot.
Value
, locals, ref interproceduralState);
809
HandleStoreParameter(methodIL, targetParameterValue, operation, valueToStore.
Value
, null);
911
StoreMethodLocalValue(locals, valueToStore.
Value
, localDef, curBasicBlock);
925
StoreInReference(destination.
Value
, valueToStore.
Value
, methodIL, operation, locals, curBasicBlock, ref ipState, null);
1050
interproceduralState.SetHoistedLocal(new HoistedLocalKey(fieldDefinition), valueToStoreSlot.
Value
);
1062
MultiValue valueToStore = DereferenceValue(valueToStoreSlot.
Value
, locals, ref interproceduralState);
1095
methodParams.Add(slot.
Value
);
1257
int? indexToStoreAtInt = indexToStoreAt.
Value
.AsConstInt();
1258
foreach (var array in arrayToStoreIn.
Value
.AsEnumerable())
1269
StoreMethodLocalValue(arrValue.IndexValues, ArrayValue.SanitizeArrayElementValue(valueToStore.
Value
), indexToStoreAtInt.Value, curBasicBlock, MaxTrackedArrayValues);
1290
if (arrayToLoadFrom.
Value
.AsSingleValue() is ArrayOfAnnotatedSystemTypeValue arrayOfAnnotated)
1303
if (arrayToLoadFrom.
Value
.AsSingleValue() is not ArrayValue arr)
1309
int? index = indexToLoadFrom.
Value
.AsConstInt();