private AbstractStackState <VariabilityInfo> HandleStfld(ILInstruction ili, AbstractStackState <VariabilityInfo> pre)
{
var field = (FieldInfo)ili.Operand;
int index = Array.IndexOf(_localizedFields, field);
if (index < 0)
{
return(Pop2(ili, pre));
}
else
{
VariabilityInfo value = pre[0];
return(pre.Assign(index + _localizedFieldsBaseIndex, value).Pop().Pop().UniqueSuccessor());
}
}
private AbstractStackState <VariabilityInfo> HandleStloc(ILInstruction ili, AbstractStackState <VariabilityInfo> pre, int index)
{
VariabilityInfo value = pre[0];
return(pre.Assign(index, value).Pop().UniqueSuccessor());
}