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

MathiasVP · jketema · web-flow · commit 68b414d169d9 · 2025-03-13T15:59:48.000Z
Co-authored-by: Jeroen Ketema &lt;93738568+jketema@users.noreply.github.com&gt;
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
@@ -337,7 +337,7 @@ class Node extends TIRDataFlowNode {
    *   - For the definition generated by `int y = ...` the result is
    *     also `x += 2`.
    *
-   * For assignments, `node.asDefinition()` and `node.asExpr()` will both exist
+   * For assignments, `node.asDefinition(_)` and `node.asExpr()` will both exist
    * for the same dataflow node. However, for expression such as `x++` that
    * both write to `x` and read the current value of `x`, `node.asDefinition()`
    * will give the node corresponding to the value after the increment, and

Original file line number	Diff line number	Diff line change
`@@ -337,7 +337,7 @@ class Node extends TIRDataFlowNode {`
`337`	`337`	* - For the definition generated by `int y = ...` the result is
`338`	`338`	* also `x += 2`.
`339`	`339`	`*`
`340`		- * For assignments, `node.asDefinition()` and `node.asExpr()` will both exist
	`340`	+ * For assignments, `node.asDefinition(_)` and `node.asExpr()` will both exist
`341`	`341`	* for the same dataflow node. However, for expression such as `x++` that
`342`	`342`	* both write to `x` and read the current value of `x`, `node.asDefinition()`
`343`	`343`	`* will give the node corresponding to the value after the increment, and`