diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll index db92731e3b1..a3459c3ed10 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll @@ -1351,7 +1351,7 @@ private predicate indirectExprNodeShouldBeIndirectOperand( /** Holds if `node` should be an `IndirectOperand` that maps `node.asExpr()` to `e`. */ private predicate exprNodeShouldBeIndirectOperand(IndirectOperand node, Expr e, int n) { exists(ArgumentOperand operand | - // When an argument (qualifier or position) is a PR value and the + // When an argument (qualifier or positional) is a prvalue and the // parameter (qualifier or positional) is a (const) reference, IR // construction introduces a temporary `IRVariable`. The `VariableAddress` // instruction has the argument as its `getConvertedResultExpression`