hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #9678 from jketema/ql-fixes

Browse Source 
C++: Two small QL fixes
This commit is contained in:
Mathias Vorreiter Pedersen
2022-06-23 08:23:54 +01:00
committed by GitHub
parent 08e4c8b195 b3ac7bda35
commit 5dfa5fb877
2 changed files with 8 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
cpp/ql/lib/semmle/code/cpp/internal/QualifiedName.qll
View File

@@ -4,11 +4,7 @@
* qualified. * qualified.
* *
* This file contains classes that mirror the standard AST classes for C++, but * This file contains classes that mirror the standard AST classes for C++, but
* these classes are only concerned with naming. The other difference is that * these classes are only concerned with naming.
* these classes don't use the `ResolveClass.qll` mechanisms like
* `unresolveElement` because these classes should eventually be part of the
* implementation of `ResolveClass.qll`, allowing it to match up classes when
* their qualified names and parameters match.
*/ */
private import semmle.code.cpp.Declaration as D private import semmle.code.cpp.Declaration as D

16
cpp/ql/lib/semmle/code/cpp/internal/ResolveClass.qll
View File

@@ -115,15 +115,13 @@ private module Cached {
*/ */
cached cached
predicate isClass(@usertype t) { predicate isClass(@usertype t) {
( usertypes(t, _, 1) or
usertypes(t, _, 1) or usertypes(t, _, 2) or
usertypes(t, _, 2) or usertypes(t, _, 3) or
usertypes(t, _, 3) or usertypes(t, _, 6) or
usertypes(t, _, 6) or usertypes(t, _, 10) or
usertypes(t, _, 10) or usertypes(t, _, 11) or
usertypes(t, _, 11) or usertypes(t, _, 12)
usertypes(t, _, 12)
)
} }
cached cached