C++: Add QLDoc to 'hasAddressOperandAndIndirectionIndex'.

MathiasVP · MathiasVP · commit 6528985a2726 · 2023-06-22T10:59:12.000+01:00
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
@@ -587,6 +587,7 @@ class SideEffectOperandNode extends Node instanceof IndirectOperand {
 
   CallInstruction getCallInstruction() { result = call }
 
+  /** Gets the underlying operand and the underlying indirection index. */
   predicate hasAddressOperandAndIndirectionIndex(Operand operand, int indirectionIndex) {
     IndirectOperand.super.hasOperandAndIndirectionIndex(operand, indirectionIndex)
   }

Original file line number	Diff line number	Diff line change
`@@ -587,6 +587,7 @@ class SideEffectOperandNode extends Node instanceof IndirectOperand {`
`587`	`587`
`588`	`588`	`CallInstruction getCallInstruction() { result = call }`
`589`	`589`
	`590`	`+ /** Gets the underlying operand and the underlying indirection index. */`
`590`	`591`	`predicate hasAddressOperandAndIndirectionIndex(Operand operand, int indirectionIndex) {`
`591`	`592`	`IndirectOperand.super.hasOperandAndIndirectionIndex(operand, indirectionIndex)`
`592`	`593`	`}`