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

Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2023-06-10 16:12:21 +01:00
parent 6528985a27
commit a8a04c8588

View File

@@ -204,7 +204,7 @@ private module IndirectOperands {
* be an `OperandNode`. * be an `OperandNode`.
*/ */
abstract class IndirectOperand extends Node { abstract class IndirectOperand extends Node {
/** Gets the underlying operand. */ /** Gets the underlying operand and the underlying indirection index. */
abstract predicate hasOperandAndIndirectionIndex(Operand operand, int indirectionIndex); abstract predicate hasOperandAndIndirectionIndex(Operand operand, int indirectionIndex);
} }