3 references to Default
Microsoft.CodeAnalysis.NetAnalyzers (3)
src\ffd9070534249528\PointsToAnalysis.PointsToAbstractValueDomain.cs (3)
36
var nullCompareResult = NullAbstractValueDomain.
Default
.Compare(oldValue.NullState, newValue.NullState);
54
if (NullAbstractValueDomain.
Default
.Compare(oldValue.NullState, newValue.NullState) > 0)
136
var mergedNullState = NullAbstractValueDomain.
Default
.Merge(value1.NullState, value2.NullState);