Beispiel #1
0
 internal static void AssertValidPointsToAnalysisKeyValuePair(
     AnalysisEntity key,
     PointsToAbstractValue value)
 {
     Debug.Assert(value.Kind != PointsToAbstractValueKind.Undefined);
     Debug.Assert(!key.IsLValueFlowCaptureEntity || value.Kind == PointsToAbstractValueKind.KnownLValueCaptures);
     Debug.Assert(PointsToAnalysis.ShouldBeTracked(key, PointsToAnalysisKind.Complete));
 }