hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-21 06:55:31 +02:00
Code Issues Packages Projects Releases Wiki Activity

Address review comment

Browse Source
This commit is contained in:
Tom Hvitved
2024-03-12 11:22:04 +01:00
parent da66281fef
commit 0e0b73a5e6
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
View File

@@ -1334,8 +1334,10 @@ module MakeImpl<InputSig Lang> {
bindingset[c, t, tail]
additional Ap apCons(Content c, Typ t, Ap tail) {
result = Param::apCons(c, t, tail) and
Config::accessPathLimit() > 0 and
if tail instanceof ApNil then any() else Config::accessPathLimit() > 1
exists(int limit |
limit = Config::accessPathLimit() and
if tail instanceof ApNil then limit > 0 else limit > 1
)
}
pragma[nomagic]