QL: remove consistency errors related to resolving multiple predicates from parameterized modules

This commit is contained in:
erik-krogh
2022-08-25 21:19:48 +02:00
parent 06afe9c0f4
commit c225605ed7

View File

@@ -209,7 +209,9 @@ module PredConsistency {
not exists(p0.getAlias())
) and
c > 1 and
resolvePredicateExpr(pe, p)
resolvePredicateExpr(pe, p) and
// parameterized modules are expected to resolve to multiple.
not exists(Predicate sig | not exists(sig.getBody()) and resolvePredicateExpr(pe, sig))
}
query predicate multipleResolveCall(Call call, int c, PredicateOrBuiltin p) {