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); } }