Comment change.

bdrodes · bdrodes · commit 4a9b2d5027b8 · 2024-02-16T10:18:07.000-05:00
diff --git a/cpp/ql/src/Likely Bugs/Format/NonConstantFormat.ql b/cpp/ql/src/Likely Bugs/Format/NonConstantFormat.ql
@@ -79,7 +79,7 @@ predicate isNonConst(DataFlow::Node node) {
   // The function's output must also not be const to be considered a non-const source
   exists(Function func, CallInstruction call |
     // NOTE: could use `Call` getAnArgument() instead of `CallInstruction` but requires two 
-    // variables representing the same call.
+    // variables representing the same call in ordoer to use `callOutput` below.
     exists(Expr arg | call.getPositionalArgumentOperand(_).getDef().getUnconvertedResultExpression() = arg and
     arg = node.asDefiningArgument()
     )

Original file line number	Diff line number	Diff line change
`@@ -79,7 +79,7 @@ predicate isNonConst(DataFlow::Node node) {`
`79`	`79`	`// The function's output must also not be const to be considered a non-const source`
`80`	`80`	`exists(Function func, CallInstruction call \|`
`81`	`81`	// NOTE: could use `Call` getAnArgument() instead of `CallInstruction` but requires two
`82`		`- // variables representing the same call.`
	`82`	+ // variables representing the same call in ordoer to use `callOutput` below.
`83`	`83`	`exists(Expr arg \| call.getPositionalArgumentOperand(_).getDef().getUnconvertedResultExpression() = arg and`
`84`	`84`	`arg = node.asDefiningArgument()`
`85`	`85`	`)`