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

Fixes for resolution and consistency query

Browse Source
This commit is contained in:
Joe Farebrother
2021-05-27 15:05:42 +01:00
parent fc2f9b5ab6
commit 9580362332
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
ql/src/codeql_ql/ast/internal/Type.qll
View File

@@ -180,7 +180,7 @@ private predicate qualifier(TypeExpr te, FileOrModule m, boolean public) {
public = true and m = te.getModule().getResolvedModule()
) else (
(public = true or public = false) and
m = getEnclosingModule(te)
m = getEnclosingModule(te).getEnclosing*()
)
}
@@ -213,8 +213,6 @@ private predicate defines(FileOrModule m, string name, Type t, boolean public) {
public = getPublicBool(im) and
defines(im.getResolvedModule(), name, t, true)
)
or
defines(m.getEnclosing(), name, t, public)
}
module TyConsistency {
@@ -224,7 +222,7 @@ module TyConsistency {
}
query predicate multipleResolve(TypeExpr te, int c, Type t) {
c = strictcount(Type t0 | resolveTypeExpr(te, t)) and
c = strictcount(Type t0 | resolveTypeExpr(te, t0)) and
c > 1 and
resolveTypeExpr(te, t)
}