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

MathiasVP · jketema · MathiasVP · commit 4f1b2c619434 · 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/DataFlowPrivate.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
@@ -245,7 +245,7 @@ private module IndirectInstructions {
    * be an `InstructionNode`.
    */
   abstract class IndirectInstruction extends Node {
-    /** Gets the underlying instruction. */
+    /** Gets the underlying operand and the underlying indirection index. */
     abstract predicate hasInstructionAndIndirectionIndex(Instruction instr, int index);
   }
 

Original file line number	Diff line number	Diff line change
`@@ -245,7 +245,7 @@ private module IndirectInstructions {`
`245`	`245`	* be an `InstructionNode`.
`246`	`246`	`*/`
`247`	`247`	`abstract class IndirectInstruction extends Node {`
`248`		`- /** Gets the underlying instruction. */`
	`248`	`+ /** Gets the underlying operand and the underlying indirection index. */`
`249`	`249`	`abstract predicate hasInstructionAndIndirectionIndex(Instruction instr, int index);`
`250`	`250`	`}`
`251`	`251`