59 references to PointsToAbstractValueKind
Microsoft.CodeAnalysis.AnalyzerUtilities (59)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\DisposeAnalysis\DisposeAnalysis.DisposeDataFlowOperationVisitor.cs (1)
406if (pointsToAbstractValue.Kind == PointsToAbstractValueKind.KnownLocations &&
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ParameterValidationAnalysis\ParameterValidationAnalysis.ParameterValidationDataFlowOperationVisitor.cs (1)
118if (pointsToAbstractValue.Kind == PointsToAbstractValueKind.KnownLocations)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAbstractValue.cs (14)
23public static PointsToAbstractValue Undefined { get; } = new PointsToAbstractValue(PointsToAbstractValueKind.Undefined, NullAbstractValue.Undefined); 24public static PointsToAbstractValue Invalid { get; } = new PointsToAbstractValue(PointsToAbstractValueKind.Invalid, NullAbstractValue.Invalid); 25public static PointsToAbstractValue Unknown { get; } = new PointsToAbstractValue(PointsToAbstractValueKind.Unknown, NullAbstractValue.MaybeNull); 26public static PointsToAbstractValue UnknownNull { get; } = new PointsToAbstractValue(PointsToAbstractValueKind.UnknownNull, NullAbstractValue.Null); 27public static PointsToAbstractValue UnknownNotNull { get; } = new PointsToAbstractValue(PointsToAbstractValueKind.UnknownNotNull, NullAbstractValue.NotNull); 42Kind = PointsToAbstractValueKind.KnownLocations; 52Kind = PointsToAbstractValueKind.KnownLValueCaptures; 56private PointsToAbstractValue(PointsToAbstractValueKind kind, NullAbstractValue nullState) 58Debug.Assert(kind != PointsToAbstractValueKind.KnownLocations); 59Debug.Assert(kind != PointsToAbstractValueKind.KnownLValueCaptures); 120Debug.Assert(Kind != PointsToAbstractValueKind.KnownLValueCaptures); 147Debug.Assert(Kind != PointsToAbstractValueKind.KnownLValueCaptures); 164Debug.Assert(Kind != PointsToAbstractValueKind.KnownLValueCaptures); 183public PointsToAbstractValueKind Kind { get; }
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.CorePointsToAnalysisDataDomain.cs (1)
39=> value.Kind == PointsToAbstractValueKind.Unknown ||
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToAbstractValueDomain.cs (16)
76else if (value1.Kind == PointsToAbstractValueKind.Invalid) 78result = value2.Kind == PointsToAbstractValueKind.Undefined ? 82else if (value2.Kind == PointsToAbstractValueKind.Invalid) 84result = value1.Kind == PointsToAbstractValueKind.Undefined ? 88else if (value1.Kind == PointsToAbstractValueKind.Undefined) 92else if (value2.Kind == PointsToAbstractValueKind.Undefined) 96else if (value1.Kind == PointsToAbstractValueKind.Unknown || 97value2.Kind == PointsToAbstractValueKind.Unknown) 101else if (value1.Kind == PointsToAbstractValueKind.UnknownNull) 107else if (value2.Kind == PointsToAbstractValueKind.UnknownNull) 113else if (value1.Kind == PointsToAbstractValueKind.UnknownNotNull) 119else if (value2.Kind == PointsToAbstractValueKind.UnknownNotNull) 125else if (value1.Kind == PointsToAbstractValueKind.KnownLValueCaptures) 127Debug.Assert(value2.Kind == PointsToAbstractValueKind.KnownLValueCaptures); 133Debug.Assert(value1.Kind == PointsToAbstractValueKind.KnownLocations); 134Debug.Assert(value2.Kind == PointsToAbstractValueKind.KnownLocations);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (4)
181if (value.Kind == PointsToAbstractValueKind.Undefined) 185currentValue.Kind == PointsToAbstractValueKind.Unknown && 635if (escapedInstancePointsToValue.Kind == PointsToAbstractValueKind.KnownLValueCaptures) 1255if (targetValue.Kind == PointsToAbstractValueKind.KnownLValueCaptures)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysisData.cs (2)
141Debug.Assert(value.Kind != PointsToAbstractValueKind.Undefined); 142Debug.Assert(!key.IsLValueFlowCaptureEntity || value.Kind == PointsToAbstractValueKind.KnownLValueCaptures);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetAnalysis.PropertySetDataFlowOperationVisitor.cs (6)
253if (pointsToAbstractValue.Kind == PointsToAbstractValueKind.KnownLocations) 260else if (pointsToAbstractValue.Kind is PointsToAbstractValueKind.Unknown 261or PointsToAbstractValueKind.UnknownNotNull) 366if (pointsToAbstractValue.Kind == PointsToAbstractValueKind.KnownLocations) 411else if (pointsToAbstractValue.Kind is PointsToAbstractValueKind.Unknown 412or PointsToAbstractValueKind.UnknownNotNull)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntity.cs (5)
53Debug.Assert(entityForInstanceLocation == null || location.Kind == PointsToAbstractValueKind.KnownLocations); 99Debug.Assert(entityForInstanceLocation == null || instanceLocation.Kind == PointsToAbstractValueKind.KnownLocations); 208PointsToAbstractValueKind.Unknown 209or PointsToAbstractValueKind.UnknownNull 210or PointsToAbstractValueKind.UnknownNotNull => true,
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntityDataFlowOperationVisitor.cs (2)
436if (instanceLocation == null || instanceLocation.Kind == PointsToAbstractValueKind.Unknown) 632=> pointsToValue.Kind == PointsToAbstractValueKind.KnownLocations &&
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntityFactory.cs (1)
491if (instanceLocation.Kind == PointsToAbstractValueKind.KnownLocations &&
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (6)
823Debug.Assert(implicitTaskPointsToValueOpt.Kind == PointsToAbstractValueKind.KnownLocations); 1191if (pointsToValueForTask.Kind == PointsToAbstractValueKind.Unknown) 1263if (pointsToValue.Kind == PointsToAbstractValueKind.KnownLocations) 1954if (pointsToValue.Kind == PointsToAbstractValueKind.KnownLValueCaptures) 2473if (instancePointsToValue.Kind == PointsToAbstractValueKind.Undefined) 3363if (invocationTarget?.Kind == PointsToAbstractValueKind.KnownLocations)