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

MathiasVP · jketema · web-flow · commit 9cde2bb94d1f · 2025-03-13T15:59:57.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
@@ -339,7 +339,7 @@ class Node extends TIRDataFlowNode {
    *
    * 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()`
+   * 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
    * `node.asExpr()` will give the node corresponding to the value before the
    * increment. For an example of this, consider the following:

Original file line number	Diff line number	Diff line change
`@@ -339,7 +339,7 @@ class Node extends TIRDataFlowNode {`
`339`	`339`	`*`
`340`	`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`		- * both write to `x` and read the current value of `x`, `node.asDefinition()`
	`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`
`344`	`344`	* `node.asExpr()` will give the node corresponding to the value before the
`345`	`345`	`* increment. For an example of this, consider the following:`