C++: Fix QLDoc.

MathiasVP · MathiasVP · commit 33e991b03789 · 2023-08-06T20:50:19.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll b/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll
@@ -143,8 +143,7 @@ private module InvalidPointerToDerefBarrier {
   }
 
   /**
-   * Gets an instruction `instr` such that `instr < derefSource - deltaDerefSinkAndDerefAddress`
-   * for some `derefSource`.
+   * Gets an address operand whose definition `instr` satisfies `instr < pai`.
    */
   AddressOperand getABarrierAddressOperand(PointerArithmeticInstruction pai) {
     result.getDef() = getABarrierInstruction(pai)

Original file line number	Diff line number	Diff line change
`@@ -143,8 +143,7 @@ private module InvalidPointerToDerefBarrier {`
`143`	`143`	`}`
`144`	`144`
`145`	`145`	`/**`
`146`		- * Gets an instruction `instr` such that `instr < derefSource - deltaDerefSinkAndDerefAddress`
`147`		- * for some `derefSource`.
	`146`	+ * Gets an address operand whose definition `instr` satisfies `instr < pai`.
`148`	`147`	`*/`
`149`	`148`	`AddressOperand getABarrierAddressOperand(PointerArithmeticInstruction pai) {`
`150`	`149`	`result.getDef() = getABarrierInstruction(pai)`