change multipleResolveCall to ignore aliases

This commit is contained in:
Erik Krogh Kristensen
2021-05-29 19:30:40 +00:00
committed by GitHub
parent bd86ffb35b
commit 48170f5ce0

View File

@@ -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)
}