32 references to NotNull
Microsoft.CodeAnalysis.AnalyzerUtilities (32)
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ParameterValidationAnalysis\ParameterValidationAnalysis.ParameterValidationDataFlowOperationVisitor.cs (4)
137nullAbstractValue == NullAbstractValue.NotNull && 139mergedValueAtUnhandledThrowOperations != NullAbstractValue.NotNull) 178if (GetNullAbstractValue(operation) == NullAbstractValue.NotNull) 448GetNullAbstractValue(operation.Pattern) == NullAbstractValue.NotNull)
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAbstractValue.cs (8)
27public static PointsToAbstractValue UnknownNotNull { get; } = new PointsToAbstractValue(PointsToAbstractValueKind.UnknownNotNull, NullAbstractValue.NotNull); 28public static PointsToAbstractValue NoLocation { get; } = new PointsToAbstractValue(ImmutableHashSet.Create(AbstractLocation.NoLocation), NullAbstractValue.NotNull); 34Debug.Assert(locations.All(location => !location.IsNull) || nullState != NullAbstractValue.NotNull); 53NullState = NullAbstractValue.NotNull; 72return new PointsToAbstractValue(ImmutableHashSet.Create(location), mayBeNull ? NullAbstractValue.MaybeNull : NullAbstractValue.NotNull); 103NullAbstractValue.NotNull => UnknownNotNull, 122if (NullState == NullAbstractValue.NotNull) 142return new PointsToAbstractValue(locations, NullAbstractValue.NotNull);
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.CorePointsToAnalysisDataDomain.cs (2)
77case NullAbstractValue.NotNull: 80if (forwardEdgeValue.NullState == NullAbstractValue.NotNull)
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToAbstractValueDomain.cs (2)
115return value2.NullState == NullAbstractValue.NotNull ? 121return value1.NullState == NullAbstractValue.NotNull ?
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (12)
355or NullAbstractValue.NotNull => true, 411bool inferInTargetAnalysisData = !(value == NullAbstractValue.NotNull && !equals); 533nullState == NullAbstractValue.NotNull && !conversion.IsImplicit) 549NullAbstractValue.NotNull => existingValue.MakeNonNull(), 567NullAbstractValue.Null => NullAbstractValue.NotNull, 569NullAbstractValue.NotNull => NullAbstractValue.Null, 791Debug.Assert(value.NullState == NullAbstractValue.NotNull || DataFlowAnalysisContext.InterproceduralAnalysisData != null); 1056return NullAbstractValue.NotNull; 1059NullAbstractValue referenceOrInstanceValue = referenceOrInstance != null ? GetNullAbstractValue(referenceOrInstance) : NullAbstractValue.NotNull; 1073NullAbstractValue.NotNull => defaultValue.MakeNonNull(), 1153if (value.NullState == NullAbstractValue.NotNull) 1174if (operandValue.NullState == NullAbstractValue.NotNull &&
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetCallbacks.cs (1)
30NullAbstractValue.NotNull => PropertySetAbstractValueKind.Unflagged,
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntityFactory.cs (1)
503NullAbstractValue.NotNull => PointsToAbstractValue.UnknownNotNull,
src\roslyn\src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (2)
907GetNullAbstractValue(instance) != NullAbstractValue.NotNull; 1291case NullAbstractValue.NotNull: