Locations

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\DisposeAnalysis\DisposeAnalysis.DisposeDataFlowOperationVisitor.cs (5)

116foreach (AbstractLocation location in instanceLocation.Locations) 129foreach (AbstractLocation location in instanceLocation.Locations) 337HandlePossibleEscapingOperation(operation, pointsToValue.Locations); 407pointsToAbstractValue.Locations.Count == 1) 409var location = pointsToAbstractValue.Locations.Single();

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ParameterValidationAnalysis\ParameterValidationAnalysis.ParameterValidationDataFlowOperationVisitor.cs (2)

121SetAbstractValue(pointsToAbstractValue.Locations, value); 152return pointsToLocation.Locations.Where(IsNotOrMaybeValidatedLocation);

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAbstractValue.cs (12)

127if (Locations.IsEmpty) 132var locations = Locations.Where(location => !location.IsNull).ToImmutableHashSet(); 137else if (locations.Count == Locations.Count) 139locations = Locations; 154if (Locations.IsEmpty) 159return new PointsToAbstractValue(Locations, NullAbstractValue.Null); 172if (Locations.IsEmpty) 177Debug.Assert(Locations.All(location => !location.IsNull)); 178return new PointsToAbstractValue(Locations, NullAbstractValue.MaybeNull); 188hashCode.Add(HashUtilities.Combine(Locations)); 197return HashUtilities.Combine(Locations) == HashUtilities.Combine(other.Locations)

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToAbstractValueDomain.cs (4)

35int locationsCompareResult = _locationsDomain.Compare(oldValue.Locations, newValue.Locations); 136var mergedLocations = _locationsDomain.Merge(value1.Locations, value2.Locations);

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (2)

677if (pointsToValueOfEscapedInstance.Locations.IsEmpty || 705foreach (var escapedLocation in pointsToValueOfEscapedInstance.Locations)

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetAnalysis.PropertySetDataFlowOperationVisitor.cs (4)

255foreach (AbstractLocation abstractLocation in pointsToAbstractValue.Locations) 312foreach (AbstractLocation location in pointsToAbstractValue.Locations) 370foreach (AbstractLocation abstractLocation in pointsToAbstractValue.Locations) 605foreach (AbstractLocation location in pointsToAbstractValue.Locations)

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AbstractLocation.cs (1)

184foreach (var location in pointsToValue.Locations)

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AbstractLocationDataFlowOperationVisitor.cs (2)

31=> SetAbstractValue(instanceLocation.Locations, value); 46foreach (var location in analysisEntity.InstanceLocation.Locations)

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntity.cs (3)

119Debug.Assert(instanceLocation.Locations.Count == 1); 120Debug.Assert(instanceLocation.Locations.Single().Creation == null); 121Debug.Assert(Equals(instanceLocation.Locations.Single().Symbol, typeSymbol));

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntityFactory.cs (1)

492instanceLocation.Locations.Count > 1)

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (5)

1266if (!isTryCast && pointsToValue.Locations.Any(location => location.IsNull)) 1310pointsToValue.Locations.All(location => location.IsNull || 1331pointsToValue.Locations.All(location => location.IsNoLocation || !location.IsNull && location.LocationType.DerivesFrom(targetType))) 2049if (pointsToValue.Locations.IsEmpty) 3366foreach (var location in invocationTarget.Locations)