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++: Improve performance of getExplicitlyConverted

Browse Source
This commit is contained in:
Robert Marsh
2020-09-04 14:17:56 -07:00
parent b7774b2a82
commit 4be138d790
1 changed files with 13 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
cpp/ql/src/semmle/code/cpp/exprs/Expr.qll
View File

@@ -453,12 +453,19 @@ class Expr extends StmtParent, @expr {
* cast from B to C. Only (1) and (2) would be included.
*/
Expr getExplicitlyConverted() {
// result is this or one of its conversions
result = this.getConversion*() and
// result is not an implicit conversion - it's either the expr or an explicit cast
(result = this or not result.(Cast).isImplicit()) and
// there is no further explicit conversion after result
not exists(Cast other | other = result.getConversion+() and not other.isImplicit())
if this.hasConversion()
then
if this.hasExplicitConversion()
then
result = this.getConversion().getExplicitlyConverted()
else
if this.getImplicitlyConverted().hasExplicitConversion()
then
result = this.getImplicitlyConverted().getConversion().getExplicitlyConverted()
else
result = this
else
result = this
}
/**