Invalid

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

24public static PointsToAbstractValue Invalid { get; } = new PointsToAbstractValue(PointsToAbstractValueKind.Invalid, NullAbstractValue.Invalid); 36Debug.Assert(nullState != NullAbstractValue.Invalid);

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

38else if (value1 is NullAbstractValue.Invalid or NullAbstractValue.Undefined) 42else if (value2 is NullAbstractValue.Invalid or NullAbstractValue.Undefined)

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

472negatedValue = NullAbstractValue.Invalid; 480value = NullAbstractValue.Invalid; 488if (value != NullAbstractValue.Invalid && negatedValue != NullAbstractValue.Invalid) 514Debug.Assert(IsValidValueForPredicateAnalysis(nullState) || nullState == NullAbstractValue.Invalid); 551NullAbstractValue.Invalid => PointsToAbstractValue.Invalid, 1062NullAbstractValue.Invalid 1077NullAbstractValue.Invalid => PointsToAbstractValue.Invalid,

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

206PointsToAnalysis.NullAbstractValue.Invalid => ValueContentAbstractValue.InvalidState,