Skip to content

Commit c79d7ac

Browse files
author
Robert Marsh
authored
Merge pull request #2656 from jbj/asDefiningArgument
C++: Add DataFlow::Node.asDefiningArgument in IR
2 parents 80997a3 + 5ac56c2 commit c79d7ac

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -55,6 +55,9 @@ class Node extends TIRDataFlowNode {
5555
*/
5656
Expr asConvertedExpr() { result = instr.getConvertedResultExpression() }
5757

58+
/** Gets the argument that defines this `DefinitionByReferenceNode`, if any. */
59+
Expr asDefiningArgument() { result = this.(DefinitionByReferenceNode).getArgument() }
60+
5861
/** Gets the parameter corresponding to this node, if any. */
5962
Parameter asParameter() { result = instr.(InitializeParameterInstruction).getParameter() }
6063

0 commit comments

Comments
 (0)