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

Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2023-12-04 10:34:46 +00:00
committed by GitHub
parent 09117d3869
commit 5a12a0ad62

View File

@@ -287,7 +287,7 @@ class Node extends TIRDataFlowNode {
* 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 where this patterns, consider the following:
* increment. For an example of this, consider the following:
*
* ```cpp
* sink(x++);