From d99e10ae711051fb4659274a3f4977a5a0e23937 Mon Sep 17 00:00:00 2001 From: Michael Nebel Date: Tue, 11 Feb 2025 13:39:36 +0100 Subject: [PATCH] Update csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll Co-authored-by: Tom Hvitved --- .../semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll | 2 +- 1 file changed, 1 insertion(+), 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 index ce652a2af805..7fb1eb6e2862 100644 --- 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. */