Skip to content

Commit 470321e

Browse files
MathiasVPjketema
andauthored
Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
Co-authored-by: Jeroen Ketema <[email protected]>
1 parent 9cde2bb commit 470321e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -348,7 +348,7 @@ class Node extends TIRDataFlowNode {
348348
* sink(x++);
349349
* ```
350350
* in the above program, there will not be flow from a node `n` such that
351-
* `n.asDefinition() instanceof IncrementOperation` to the argument of `sink`
351+
* `n.asDefinition(_) instanceof IncrementOperation` to the argument of `sink`
352352
* since the value passed to `sink` is the value before to the increment.
353353
* However, there will be dataflow from a node `n` such that
354354
* `n.asExpr() instanceof IncrementOperation` since the result of evaluating

0 commit comments

Comments
 (0)