From ccaef199bfa94b410c80a851c6f3e5f4a6c63dbd Mon Sep 17 00:00:00 2001
From: Taus <tausbn@github.com>
Date: Fri, 15 Oct 2021 10:58:38 +0000
Subject: [PATCH] Ignore overridden predicates in consistency check

---
 ql/src/codeql_ql/ast/internal/Predicate.qll | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ql/src/codeql_ql/ast/internal/Predicate.qll b/ql/src/codeql_ql/ast/internal/Predicate.qll
index 9279b93a4ea..c9a366519ee 100644
--- a/ql/src/codeql_ql/ast/internal/Predicate.qll
+++ b/ql/src/codeql_ql/ast/internal/Predicate.qll
@@ -287,7 +287,9 @@ module PredConsistency {
       strictcount(PredicateOrBuiltin p0 |
         resolveCall(call, p0) and
         // aliases are expected to resolve to multiple.
-        not exists(p0.getDeclaration().(ClasslessPredicate).getAlias())
+        not exists(p0.getDeclaration().(ClasslessPredicate).getAlias()) and
+        // overridden predicates may have multiple targets
+        not p0.getDeclaration().(ClassPredicate).isOverride()
       ) and
     c > 1 and
     resolveCall(call, p)