public bool hasOldGlobalVarsToInstrument(Absy exp)
{
GlobalVarsUsed usesg = new GlobalVarsUsed();
usesg.Visit(exp);
// If any used variable is also modified then return true
if (usesg.oldVarsUsed.Any(x => globalsToInstrument.Contains(x)))
{
return(true);
}
return(false);
}
public bool hasModifiedGlobalVars(Absy exp)
{
Debug.Assert(infoGathered);
GlobalVarsUsed usesg = new GlobalVarsUsed();
usesg.Visit(exp);
// If any used variable is also modified then return true
if (usesg.Used.Any(x => modifiedGlobals.ContainsKey(x)))
{
return(true);
}
return(false);
}
