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

MathiasVP · jketema · MathiasVP · commit a8a04c8588cf · 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
@@ -204,7 +204,7 @@ private module IndirectOperands {
    * be an `OperandNode`.
    */
   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);
   }
 

Original file line number	Diff line number	Diff line change
`@@ -204,7 +204,7 @@ private module IndirectOperands {`
`204`	`204`	* be an `OperandNode`.
`205`	`205`	`*/`
`206`	`206`	`abstract class IndirectOperand extends Node {`
`207`		`- /** Gets the underlying operand. */`
	`207`	`+ /** Gets the underlying operand and the underlying indirection index. */`
`208`	`208`	`abstract predicate hasOperandAndIndirectionIndex(Operand operand, int indirectionIndex);`
`209`	`209`	`}`
`210`	`210`