C#: Reenable consistency check

hvitved · hvitved · commit 027cb2d335f1 · 2023-05-15T09:36:37.000+02:00
diff --git a/csharp/ql/consistency-queries/DataFlowConsistency.ql b/csharp/ql/consistency-queries/DataFlowConsistency.ql
@@ -72,5 +72,5 @@ private class MyConsistencyConfiguration extends ConsistencyConfiguration {
 
   override predicate reverseReadExclude(Node n) { n.asExpr() = any(AwaitExpr ae).getExpr() }
 
-  override predicate identityLocalStepExclude(Node n) { n.getLocation().getFile().fromLibrary() }
+  override predicate identityLocalStepExclude(Node n) { none() }
 }

Original file line number	Diff line number	Diff line change
`@@ -72,5 +72,5 @@ private class MyConsistencyConfiguration extends ConsistencyConfiguration {`
`72`	`72`
`73`	`73`	`override predicate reverseReadExclude(Node n) { n.asExpr() = any(AwaitExpr ae).getExpr() }`
`74`	`74`
`75`		`- override predicate identityLocalStepExclude(Node n) { n.getLocation().getFile().fromLibrary() }`
	`75`	`+ override predicate identityLocalStepExclude(Node n) { none() }`
`76`	`76`	`}`