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

C++: Factor out transparent conversions in their own predicate

Browse Source
This commit is contained in:
Jeroen Ketema
2025-07-04 14:09:34 +02:00
parent e68d10119b
commit b185cc8b95
1 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll
View File

@@ -909,17 +909,17 @@ class TranslatedTransparentUnaryOperation extends TranslatedTransparentExpr {
}
}
private predicate isTransparentConversion(Conversion expr) {
expr instanceof ParenthesisExpr or
expr instanceof ReferenceDereferenceExpr or
expr instanceof ReferenceToExpr or
expr instanceof C11GenericExpr
}
class TranslatedTransparentConversion extends TranslatedTransparentExpr {
override Conversion expr;
TranslatedTransparentConversion() {
(
expr instanceof ParenthesisExpr or
expr instanceof ReferenceDereferenceExpr or
expr instanceof ReferenceToExpr or
expr instanceof C11GenericExpr
)
}
TranslatedTransparentConversion() { isTransparentConversion(expr) }
override TranslatedExpr getOperand() { result = getTranslatedExpr(expr.getExpr()) }
}