Comment change.

This commit is contained in:
Benjamin Rodes
2024-02-16 10:18:07 -05:00
parent 5b0a3dcdbe
commit 4a9b2d5027

View File

@@ -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()
)