31 references to Null
Microsoft.CodeAnalysis.AnalyzerUtilities (31)
src\roslyn\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\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ParameterValidationAnalysis\ParameterValidationAnalysis.ParameterValidationDataFlowOperationVisitor.cs (3)
408if (GetNullAbstractValue(operation.RightOperand) == NullAbstractValue.Null) 413else if (GetNullAbstractValue(operation.LeftOperand) == NullAbstractValue.Null) 441GetNullAbstractValue(operation.Pattern) == NullAbstractValue.Null)
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAbstractValue.cs (6)
26public static PointsToAbstractValue UnknownNull { get; } = new PointsToAbstractValue(PointsToAbstractValueKind.UnknownNull, NullAbstractValue.Null); 29public static PointsToAbstractValue NullLocation { get; } = new PointsToAbstractValue(ImmutableHashSet.Create(AbstractLocation.Null), NullAbstractValue.Null); 101NullAbstractValue.Null => UnknownNull, 149if (NullState == NullAbstractValue.Null) 159return new PointsToAbstractValue(Locations, NullAbstractValue.Null); 165Debug.Assert(NullState != NullAbstractValue.Null);
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToAbstractValueDomain.cs (2)
103return value2.NullState == NullAbstractValue.Null ? 109return value1.NullState == NullAbstractValue.Null ?
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (12)
354NullAbstractValue.Null 383SetValueForNullCompare(leftOperand, value: NullAbstractValue.Null, equals: equals, predicateValueKind: ref predicateValueKind, targetAnalysisData: targetAnalysisData); 466(existingNullValue == NullAbstractValue.Null || value == NullAbstractValue.Null)) 532if (nullState == NullAbstractValue.Null && conversion.IsImplicit || 547NullAbstractValue.Null => existingValue.MakeNull(), 567NullAbstractValue.Null => NullAbstractValue.NotNull, 569NullAbstractValue.NotNull => NullAbstractValue.Null, 1063or NullAbstractValue.Null => referenceOrInstanceValue, 1075NullAbstractValue.Null => defaultValue.MakeNull(), 1089value.NullState != NullAbstractValue.Null) 1103value.NullState != NullAbstractValue.Null)
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetAnalysis.PropertySetDataFlowOperationVisitor.cs (2)
265else if (pointsToAbstractValue.NullState == NullAbstractValue.Null) 434else if (pointsToAbstractValue.NullState == NullAbstractValue.Null)
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetCallbacks.cs (1)
28NullAbstractValue.Null => PropertySetAbstractValueKind.Flagged,
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ValueContentAnalysis\ValueContentAnalysis.ValueContentDataFlowOperationVisitor.cs (1)
208PointsToAnalysis.NullAbstractValue.Null => ValueContentAbstractValue.ContainsNullLiteralState,
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntityFactory.cs (1)
502NullAbstractValue.Null => PointsToAbstractValue.UnknownNull,
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (1)
1287case NullAbstractValue.Null: