protected override void SetValueForParameterOnEntry(IParameterSymbol parameter, AnalysisEntity analysisEntity)
{
// Create a dummy PointsTo value for each reference type parameter.
if (!parameter.Type.HasValueCopySemantics())
{
var value = new PointsToAbstractValue(AbstractLocation.CreateSymbolLocation(parameter));
SetAbstractValue(analysisEntity, value);
}
}
protected override void SetValueForParameterOnEntry(IParameterSymbol parameter, AnalysisEntity analysisEntity)
{
// Create a dummy PointsTo value for each reference type parameter.
if (ShouldBeTracked(parameter.Type))
{
var value = PointsToAbstractValue.Create(AbstractLocation.CreateSymbolLocation(parameter), mayBeNull: true);
SetAbstractValue(analysisEntity, value);
}
}