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

Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-03-14 09:16:04 +00:00
committed by GitHub
parent a839c92979
commit c375497fa5
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1354,7 +1354,7 @@ private predicate exprNodeShouldBeIndirectOperand(IndirectOperand node, Expr e,
// When an argument (qualifier or position) is a PR value and the // When an argument (qualifier or position) is a PR value and the
// parameter (qualifier or positional) is a (const) reference, IR // parameter (qualifier or positional) is a (const) reference, IR
// construction introduces a temporary `IRVariable`. The `VariableAddress` // construction introduces a temporary `IRVariable`. The `VariableAddress`
// instruction has the argument as it's `getConvertedResultExpression` // instruction has the argument as its `getConvertedResultExpression`
// result. However, the instruction actually represents the _address_ of // result. However, the instruction actually represents the _address_ of
// the argument. So to fix this mismatch, we have the indirection of the // the argument. So to fix this mismatch, we have the indirection of the
// `VariableAddressInstruction` map to the expression. // `VariableAddressInstruction` map to the expression.