Update csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPri…

…vate.qll Co-authored-by: Tom Hvitved <[email protected]>
github · Feb 11, 2025 · d99e10a · d99e10a
1 parent 3e8f79b
commit d99e10a
Showing 1 changed file with 1 addition and 1 deletion.
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. */