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;
16 references to Value
illink (16)
Linker.Dataflow\MethodBodyScanner.cs (16)
100
return new StackSlot (MultiValueLattice.Meet (a.
Value
, b.
Value
));
503
currentStack.Push (new StackSlot (ArrayValue.Create (count.
Value
, (TypeReference) operation.Operand)));
658
MultiValue retValue = DereferenceValue (retStackSlot.
Value
, locals, ref interproceduralState);
753
HandleStoreParameter (thisMethod, targetParameterValue, operation, valueToStore.
Value
, null);
835
StoreMethodLocalValue (locals, valueToStore.
Value
, localDef, curBasicBlock);
849
StoreInReference (destination.
Value
, valueToStore.
Value
, methodBody.Method, operation, locals, curBasicBlock, ref ipState, null);
958
interproceduralState.SetHoistedLocal (new HoistedLocalKey (field), valueToStoreSlot.
Value
);
969
MultiValue valueToStore = DereferenceValue (valueToStoreSlot.
Value
, locals, ref interproceduralState);
1001
methodParams.Add (slot.
Value
);
1147
int? indexToStoreAtInt = indexToStoreAt.
Value
.AsConstInt ();
1148
foreach (var array in arrayToStoreIn.
Value
.AsEnumerable ()) {
1154
StoreMethodLocalValue (arrValue.IndexValues, ArrayValue.SanitizeArrayElementValue (valueToStore.
Value
), indexToStoreAtInt.Value, curBasicBlock, MaxTrackedArrayValues);
1168
if (arrayToLoadFrom.
Value
.AsSingleValue () is not ArrayValue arr) {
1175
int? index = indexToLoadFrom.
Value
.AsConstInt ();