3 writes to NullState
Microsoft.CodeAnalysis.AnalyzerUtilities (3)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAbstractValue.cs (3)
43NullState = nullState; 53NullState = NullAbstractValue.NotNull; 64NullState = nullState;
42 references to NullState
Analyzer.Utilities.UnitTests (6)
FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetAnalysisTests.cs (6)
229return pointsToAbstractValue.NullState switch 409kind = argumentPointsToAbstractValues[2].NullState switch 425return pointsToAbstractValue.NullState switch 1043return pointsToAbstractValue.NullState switch 1147return pointsToAbstractValue.NullState switch 1160return pointsToAbstractValue.NullState switch
Microsoft.CodeAnalysis.AnalyzerUtilities (36)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAbstractValue.cs (7)
122if (NullState == NullAbstractValue.NotNull) 149if (NullState == NullAbstractValue.Null) 165Debug.Assert(NullState != NullAbstractValue.Null); 167if (NullState == NullAbstractValue.MaybeNull) 191hashCode.Add(((int)NullState).GetHashCode()); 200&& ((int)NullState).GetHashCode() == ((int)other.NullState).GetHashCode();
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.CorePointsToAnalysisDataDomain.cs (2)
71switch (backEdgeValue.NullState) 80if (forwardEdgeValue.NullState == NullAbstractValue.NotNull)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToAbstractValueDomain.cs (10)
37var nullCompareResult = NullAbstractValueDomain.Default.Compare(oldValue.NullState, newValue.NullState); 55if (NullAbstractValueDomain.Default.Compare(oldValue.NullState, newValue.NullState) > 0) 103return value2.NullState == NullAbstractValue.Null ? 109return value1.NullState == NullAbstractValue.Null ? 115return value2.NullState == NullAbstractValue.NotNull ? 121return value1.NullState == NullAbstractValue.NotNull ? 137var mergedNullState = NullAbstractValueDomain.Default.Merge(value1.NullState, value2.NullState);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (7)
464NullAbstractValue existingNullValue = existingPointsToValue.NullState; 791Debug.Assert(value.NullState == NullAbstractValue.NotNull || DataFlowAnalysisContext.InterproceduralAnalysisData != null); 1070NullAbstractValue nullState = GetNullStateBasedOnInstanceOrReferenceValue(referenceOrInstance, operation.Type, defaultValue.NullState); 1089value.NullState != NullAbstractValue.Null) 1103value.NullState != NullAbstractValue.Null) 1153if (value.NullState == NullAbstractValue.NotNull) 1174if (operandValue.NullState == NullAbstractValue.NotNull &&
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetAnalysis.PropertySetDataFlowOperationVisitor.cs (4)
265else if (pointsToAbstractValue.NullState == NullAbstractValue.Null) 271Debug.Fail($"Unhandled PointsToAbstractValue: Kind = {pointsToAbstractValue.Kind}, NullState = {pointsToAbstractValue.NullState}"); 434else if (pointsToAbstractValue.NullState == NullAbstractValue.Null) 440Debug.Fail($"Unhandled PointsToAbstractValue: Kind = {pointsToAbstractValue.Kind}, NullState = {pointsToAbstractValue.NullState}");
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetCallbacks.cs (1)
26return pointsToAbstractValue.NullState switch
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntityFactory.cs (1)
500instanceLocation = instanceLocation.NullState switch
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (4)
1089protected NullAbstractValue GetNullAbstractValue(IOperation operation) => GetPointsToAbstractValue(operation).NullState; 1167nullAbstractValue = pointsToAbstractValue.NullState; 1185nullAbstractValue = pointsToAbstractValue.NullState; 1285switch (pointsToValue.NullState)