Update csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll

michaelnebel · hvitved · web-flow · commit d99e10ae7110 · 2025-02-11T13:39:36.000+01:00
Co-authored-by: Tom Hvitved &lt;hvitved@github.com&gt;
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
@@ -2087,7 +2087,7 @@ class CaptureNode extends NodeImpl, TCaptureNode {
  * same database (which is the case for .NET Runtime).
  */
 private predicate hasAutoImplementation(Property p) {
-  forall(Accessor a | a = p.getAnAccessor() | count(getASourceLocation(a)) > count(a.getBody()))
+  forex(Accessor a | a = p.getAnAccessor() | strictcount(getASourceLocation(a)) > count(a.getBody()))
 }
 
 /** A field or a property. */

Original file line number	Diff line number	Diff line change
`@@ -2087,7 +2087,7 @@ class CaptureNode extends NodeImpl, TCaptureNode {`
`2087`	`2087`	`* same database (which is the case for .NET Runtime).`
`2088`	`2088`	`*/`
`2089`	`2089`	`private predicate hasAutoImplementation(Property p) {`
`2090`		`- forall(Accessor a \| a = p.getAnAccessor() \| count(getASourceLocation(a)) > count(a.getBody()))`
	`2090`	`+ forex(Accessor a \| a = p.getAnAccessor() \| strictcount(getASourceLocation(a)) > count(a.getBody()))`
`2091`	`2091`	`}`
`2092`	`2092`
`2093`	`2093`	`/** A field or a property. */`