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

MathiasVP · jketema · web-flow · commit 09117d3869d5 · 2023-12-04T10:34:32.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
@@ -285,7 +285,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()`
-   * will give you the node corresponding to the value after the increment, and
+   * 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 where this patterns, consider the following:
    *

Original file line number	Diff line number	Diff line change
`@@ -285,7 +285,7 @@ class Node extends TIRDataFlowNode {`
`285`	`285`	* For assignments, `node.asDefinition()` and `node.asExpr()` will both exist
`286`	`286`	* for the same dataflow node. However, for expression such as `x++` that
`287`	`287`	* both write to `x` and read the current value of `x`, `node.asDefinition()`
`288`		`- * will give you the node corresponding to the value after the increment, and`
	`288`	`+ * will give the node corresponding to the value after the increment, and`
`289`	`289`	* `node.asExpr()` will give the node corresponding to the value before the
`290`	`290`	`* increment. For an example of where this patterns, consider the following:`
`291`	`291`	`*`