Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/MustFlow.qll

MathiasVP · jketema · web-flow · commit 1bf430529bdb · 2022-03-08T13:07:17.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/MustFlow.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/MustFlow.qll
@@ -61,7 +61,7 @@ private predicate flowsFromSource(DataFlow::Node node, MustFlowConfiguration con
   )
 }
 
-/** Holds if `instr` flows to a sink. */
+/** Holds if `node` flows to a sink. */
 pragma[nomagic]
 private predicate flowsToSink(DataFlow::Node node, MustFlowConfiguration config) {
   flowsFromSource(node, pragma[only_bind_into](config)) and

Original file line number	Diff line number	Diff line change
`@@ -61,7 +61,7 @@ private predicate flowsFromSource(DataFlow::Node node, MustFlowConfiguration con`
`61`	`61`	`)`
`62`	`62`	`}`
`63`	`63`
`64`		-/** Holds if `instr` flows to a sink. */
	`64`	+/** Holds if `node` flows to a sink. */
`65`	`65`	`pragma[nomagic]`
`66`	`66`	`private predicate flowsToSink(DataFlow::Node node, MustFlowConfiguration config) {`
`67`	`67`	`flowsFromSource(node, pragma[only_bind_into](config)) and`