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

improve performance of module resolution

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2021-05-31 08:06:49 +00:00
committed by GitHub
parent b3e23bcc31
commit 4bbd06f51f
1 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
ql/src/codeql_ql/ast/internal/Module.qll
View File

@@ -186,13 +186,21 @@ private module Cached {
predicate resolveModuleExpr(ModuleExpr me, FileOrModule m) {
not m = TFile(any(File f | f.getExtension() = "ql")) and
not exists(me.getQualifier()) and
definesModule(getEnclosingModule(me).getEnclosing*(), me.getName(), m, _)
exists(ContainerOrModule enclosing, string name | resolveModuleExprHelper(me, enclosing, name) |
definesModule(enclosing.getEnclosing*(), name, m, _)
)
or
exists(FileOrModule mid |
resolveModuleExpr(me.getQualifier(), mid) and
definesModule(mid, me.getName(), m, true)
)
}
pragma[noinline]
private predicate resolveModuleExprHelper(ModuleExpr me, ContainerOrModule enclosing, string name) {
enclosing = getEnclosingModule(me) and
name = me.getName()
}
}
import Cached