hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-10 20:21:10 +01:00
Code Issues Packages Projects Releases Wiki Activity

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 5a519c5089
commit ccaef199bf
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)