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 type resolution

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2021-05-31 07:51:11 +00:00
committed by GitHub
parent a286dc349a
commit b3e23bcc31
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -266,12 +266,14 @@ predicate resolveTypeExpr(TypeExpr te, Type t) {
if primTypeName(te.getClassName())
then t = TPrimitive(te.getClassName())
else
exists(FileOrModule m, boolean public | qualifier(te, m, public) |
defines(m, te.getClassName(), t, public)
exists(FileOrModule m, boolean public, string clName | qualifier(te, m, public, clName) |
defines(m, clName, t, public)
)
}
private predicate qualifier(TypeExpr te, FileOrModule m, boolean public) {
pragma[noinline]
private predicate qualifier(TypeExpr te, FileOrModule m, boolean public, string clName) {
te.getClassName() = clName and
if exists(te.getModule())
then (
public = true and m = te.getModule().getResolvedModule()