Skip to content

Commit 0e0b73a

Browse files
committed
Address review comment
1 parent da66281 commit 0e0b73a

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1334,8 +1334,10 @@ module MakeImpl<InputSig Lang> {
13341334
bindingset[c, t, tail]
13351335
additional Ap apCons(Content c, Typ t, Ap tail) {
13361336
result = Param::apCons(c, t, tail) and
1337-
Config::accessPathLimit() > 0 and
1338-
if tail instanceof ApNil then any() else Config::accessPathLimit() > 1
1337+
exists(int limit |
1338+
limit = Config::accessPathLimit() and
1339+
if tail instanceof ApNil then limit > 0 else limit > 1
1340+
)
13391341
}
13401342

13411343
pragma[nomagic]

0 commit comments

Comments
 (0)