From 48170f5ce05132368adce0882bb4dee1a4953f99 Mon Sep 17 00:00:00 2001 From: Erik Krogh Kristensen Date: Sat, 29 May 2021 19:30:40 +0000 Subject: [PATCH] change `multipleResolveCall` to ignore aliases --- ql/src/codeql_ql/ast/internal/Predicate.qll | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/ql/src/codeql_ql/ast/internal/Predicate.qll b/ql/src/codeql_ql/ast/internal/Predicate.qll index 5c1fc61a961..a66aa14d623 100644 --- a/ql/src/codeql_ql/ast/internal/Predicate.qll +++ b/ql/src/codeql_ql/ast/internal/Predicate.qll @@ -251,7 +251,12 @@ module PredConsistency { } query predicate multipleResolveCall(Call call, int c, PredicateOrBuiltin p) { - c = strictcount(PredicateOrBuiltin p0 | resolveCall(call, p0)) and + c = + strictcount(PredicateOrBuiltin p0 | + resolveCall(call, p0) and + // aliases are expected to resolve to multiple. + not exists(p0.getDeclaration().(ClasslessPredicate).getAlias()) + ) and c > 1 and resolveCall(call, p) }