hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-23 07:45:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Address review comments.

Browse Source
This commit is contained in:
Michael Nebel
2025-02-11 13:46:28 +01:00
parent fbbdea09a2
commit 83f8a4057c
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
View File

@@ -2087,7 +2087,9 @@ 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. */