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

MathiasVP · jketema · MathiasVP · commit ff3c76c1faa9 · 2023-06-22T10:59:12.000+01:00
Co-authored-by: Jeroen Ketema &lt;93738568+jketema@users.noreply.github.com&gt;
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
@@ -684,7 +684,7 @@ class IndirectParameterNode extends Node instanceof IndirectInstruction {
 
   override Declaration getFunction() { result = init.getEnclosingFunction() }
 
-  /** Gets the underlying instruction. */
+  /** Gets the underlying operand and the underlying indirection index. */
   predicate hasInstructionAndIndirectionIndex(Instruction instr, int index) {
     IndirectInstruction.super.hasInstructionAndIndirectionIndex(instr, index)
   }

Original file line number	Diff line number	Diff line change
`@@ -684,7 +684,7 @@ class IndirectParameterNode extends Node instanceof IndirectInstruction {`
`684`	`684`
`685`	`685`	`override Declaration getFunction() { result = init.getEnclosingFunction() }`
`686`	`686`
`687`		`- /** Gets the underlying instruction. */`
	`687`	`+ /** Gets the underlying operand and the underlying indirection index. */`
`688`	`688`	`predicate hasInstructionAndIndirectionIndex(Instruction instr, int index) {`
`689`	`689`	`IndirectInstruction.super.hasInstructionAndIndirectionIndex(instr, index)`
`690`	`690`	`}`