Fixup.

michaelnebel · michaelnebel · commit 21a896d85912 · 2026-02-27T11:22:29.000+01:00
diff --git a/csharp/ql/consistency-queries/DataFlowConsistency.ql b/csharp/ql/consistency-queries/DataFlowConsistency.ql
@@ -45,7 +45,7 @@ private module Input implements InputSig<Location, CsharpDataFlow> {
     or
     n instanceof ParamsArgumentNode
     or
-    n.asExpr() = any(Expr e | not exprMayHavePostUpdateNode(e))
+    exists(n.asExpr())
   }
 
   predicate reverseReadExclude(Node n) { n.asExpr() = any(AwaitExpr ae).getExpr() }

Original file line number	Diff line number	Diff line change
`@@ -45,7 +45,7 @@ private module Input implements InputSig<Location, CsharpDataFlow> {`
`45`	`45`	`or`
`46`	`46`	`n instanceof ParamsArgumentNode`
`47`	`47`	`or`
`48`		`- n.asExpr() = any(Expr e \| not exprMayHavePostUpdateNode(e))`
	`48`	`+ exists(n.asExpr())`
`49`	`49`	`}`
`50`	`50`
`51`	`51`	`predicate reverseReadExclude(Node n) { n.asExpr() = any(AwaitExpr ae).getExpr() }`