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

C++: Index 'getConvertedResultExpression' by an integer.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-09-01 13:06:49 +01:00
parent 16d62186c0
commit 4dfaf9225c
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
View File

@@ -1052,16 +1052,18 @@ private module GetConvertedResultExpression {
* Note that this predicate may return multiple results in cases where a conversion belond to a
* different AST element than its operand.
*/
Expr getConvertedResultExpression(Instruction instr) {
Expr getConvertedResultExpression(Instruction instr, int n) {
// Only fully converted instructions has a result for `asConvertedExpr`
not conversionFlow(unique( | | getAUse(instr)), _, false, false) and
result = getConvertedResultExpressionImpl(instr)
result = getConvertedResultExpressionImpl(instr) and
n = 0
or
// If the conversion also has a result then we return multiple results
exists(Operand operand | conversionFlow(operand, instr, false, false) |
n = 1 and
result = getConvertedResultExpressionImpl(operand.getDef())
or
result = getConvertedResultExpression(operand.getDef())
result = getConvertedResultExpression(operand.getDef(), n - 1)
)
}