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

Co-authored-by: Taus <tausbn@github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2025-04-11 12:43:59 +01:00
committed by GitHub
parent bfc494c0e1
commit deef95d384

View File

@@ -470,7 +470,7 @@ newtype TPosition =
Ssa::hasIndirectOperand(any(CallInstruction call).getArgumentOperand(argumentIndex),
indirectionIndex)
or
// Handle the rare case where the is a function definition but no call to
// Handle the rare case where there is a function definition but no call to
// the function.
exists(Cpp::Function f, Cpp::Parameter p |
p = f.getParameter(argumentIndex) and