hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-22 23:35:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: Minor perf fix for typePrefixContainsAux1.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2023-05-04 14:21:36 +02:00
parent 353d5f82a6
commit 3b004b06b0
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
java/ql/lib/semmle/code/java/Type.qll
View File

@@ -191,14 +191,19 @@ private predicate typePrefixContains_ext_neq(ParameterizedPrefix pps, Parameteri
)
}
pragma[nomagic]
private TTypeParam parameterizedPrefixWithWildcard(ParameterizedPrefix pps0, Wildcard s) {
result = TTypeParam(pps0, s)
}
pragma[nomagic]
private predicate typePrefixContainsAux1(
ParameterizedPrefix pps, ParameterizedPrefix ppt0, RefType s
) {
exists(ParameterizedPrefix pps0 |
typePrefixContains(pps0, ppt0) and
pps = TTypeParam(pps0, s) and
s instanceof Wildcard // manual magic, implied by `typeArgumentContains(_, s, t, _)`
// `s instanceof Wildcard` is manual magic, implied by `typeArgumentContains(_, s, t, _)`
pps = parameterizedPrefixWithWildcard(pps0, s)
)
}