github
diff --git a/‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll‎
Lines changed: 3 additions & 1 deletion b/‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll‎
Lines changed: 3 additions & 1 deletion
@@ -543,7 +543,7 @@ class IndirectReturnNode extends IndirectOperand {
  * A node representing the indirection of a value after it
  * has been returned from a function.
  */
-class IndirectArgumentOutNode extends Node, TIndirectArgumentOutNode, PostUpdateNode {
+class IndirectArgumentOutNode extends Node, TIndirectArgumentOutNode, PartialDefinitionNode {
   ArgumentOperand operand;
   int indirectionIndex;
 
@@ -577,6 +577,8 @@ class IndirectArgumentOutNode extends Node, TIndirectArgumentOutNode, PostUpdate
   }
 
   override Location getLocationImpl() { result = operand.getLocation() }
+
+  override Expr getDefinedExpr() { result = operand.getDef().getUnconvertedResultExpression() }
 }
 
 pragma[nomagic]
Original file line number	Diff line number	Diff line change
`@@ -543,7 +543,7 @@ class IndirectReturnNode extends IndirectOperand {`
`543`	`543`	`* A node representing the indirection of a value after it`
`544`	`544`	`* has been returned from a function.`
`545`	`545`	`*/`
`546`		`-class IndirectArgumentOutNode extends Node, TIndirectArgumentOutNode, PostUpdateNode {`
	`546`	`+class IndirectArgumentOutNode extends Node, TIndirectArgumentOutNode, PartialDefinitionNode {`
`547`	`547`	`ArgumentOperand operand;`
`548`	`548`	`int indirectionIndex;`
`549`	`549`
`@@ -577,6 +577,8 @@ class IndirectArgumentOutNode extends Node, TIndirectArgumentOutNode, PostUpdate`
`577`	`577`	`}`
`578`	`578`
`579`	`579`	`override Location getLocationImpl() { result = operand.getLocation() }`
	`580`	`+`
	`581`	`+ override Expr getDefinedExpr() { result = operand.getDef().getUnconvertedResultExpression() }`
`580`	`582`	`}`
`581`	`583`
`582`	`584`	`pragma[nomagic]`