8 references to Undefined
Microsoft.CodeAnalysis.AnalyzerUtilities (8)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAbstractValue.cs (1)
23
public static PointsToAbstractValue Undefined { get; } = new PointsToAbstractValue(PointsToAbstractValueKind.
Undefined
, NullAbstractValue.Undefined);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToAbstractValueDomain.cs (4)
78
result = value2.Kind == PointsToAbstractValueKind.
Undefined
?
84
result = value1.Kind == PointsToAbstractValueKind.
Undefined
?
88
else if (value1.Kind == PointsToAbstractValueKind.
Undefined
)
92
else if (value2.Kind == PointsToAbstractValueKind.
Undefined
)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (1)
181
if (value.Kind == PointsToAbstractValueKind.
Undefined
)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysisData.cs (1)
141
Debug.Assert(value.Kind != PointsToAbstractValueKind.
Undefined
);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (1)
2473
if (instancePointsToValue.Kind == PointsToAbstractValueKind.
Undefined
)