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

C++: Rename resolve to resolveClass, and remove unused isElement

Browse Source
This commit is contained in:
Ian Lynagh
2018-08-23 14:37:38 +01:00
parent 35aa2e6fbb
commit e808560c23
2 changed files with 2 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/src/semmle/code/cpp/Element.qll
View File

@@ -10,7 +10,7 @@ private import semmle.code.cpp.internal.Type
*/
private cached @element resolveElement(@element e) {
if isClass(e)
then result = resolve(e)
then result = resolveClass(e)
else result = e
}

6
cpp/ql/src/semmle/code/cpp/internal/Type.qll
View File

@@ -35,7 +35,7 @@ cached private module Cached {
* multiple complete classes have the same name, this predicate may have
* multiple results.
*/
cached @usertype resolve(@usertype c) {
cached @usertype resolveClass(@usertype c) {
hasCompleteTwin(c, result)
or
(not hasCompleteTwin(c, _) and result = c)
@@ -48,8 +48,4 @@ cached private module Cached {
(usertypes(t,_,1) or usertypes(t,_,2) or usertypes(t,_,3) or usertypes(t,_,6)
or usertypes(t,_,10) or usertypes(t,_,11) or usertypes(t,_,12))
}
cached predicate isElement(@element e) {
isClass(e) implies e = resolve(_)
}
}