hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 16:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

QL: Ignore overridden predicates in consistency check

Browse Source
This commit is contained in:
Taus
2021-10-15 10:58:38 +00:00
committed by GitHub
parent b5bef24ce2
commit 9c82f72720
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
ql/src/codeql_ql/ast/internal/Predicate.qll
View File

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