GetNullAbstractValue

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

465if (GetNullAbstractValue(operation.RightOperand) == NullAbstractValue.Null) 470else if (GetNullAbstractValue(operation.LeftOperand) == NullAbstractValue.Null)

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

178if (GetNullAbstractValue(operation) == NullAbstractValue.NotNull) 408if (GetNullAbstractValue(operation.RightOperand) == NullAbstractValue.Null) 413else if (GetNullAbstractValue(operation.LeftOperand) == NullAbstractValue.Null) 441GetNullAbstractValue(operation.Pattern) == NullAbstractValue.Null) 448GetNullAbstractValue(operation.Pattern) == NullAbstractValue.NotNull)

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

394NullAbstractValue value = GetNullAbstractValue(assignedValueOperation); 1059NullAbstractValue referenceOrInstanceValue = referenceOrInstance != null ? GetNullAbstractValue(referenceOrInstance) : NullAbstractValue.NotNull;

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ValueContentAnalysis\ValueContentAnalysis.ValueContentDataFlowOperationVisitor.cs (1)

204return GetNullAbstractValue(operation) switch

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

907GetNullAbstractValue(instance) != NullAbstractValue.NotNull;