GetNullAbstractValue

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

463if (GetNullAbstractValue(operation.RightOperand) == NullAbstractValue.Null) 468else if (GetNullAbstractValue(operation.LeftOperand) == NullAbstractValue.Null)

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

177if (GetNullAbstractValue(operation) == NullAbstractValue.NotNull) 407if (GetNullAbstractValue(operation.RightOperand) == NullAbstractValue.Null) 412else if (GetNullAbstractValue(operation.LeftOperand) == NullAbstractValue.Null) 440GetNullAbstractValue(operation.Pattern) == NullAbstractValue.Null) 447GetNullAbstractValue(operation.Pattern) == NullAbstractValue.NotNull)

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

392NullAbstractValue value = GetNullAbstractValue(assignedValueOperation); 1057NullAbstractValue 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)

905GetNullAbstractValue(instance) != NullAbstractValue.NotNull;