C++: Fix QLDoc.

MathiasVP · MathiasVP · commit 60f2e8a67681 · 2023-08-07T15:55:43.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll b/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll
@@ -128,7 +128,8 @@ private module SizeBarrier {
   }
 
   /**
-   * Holds if `small < large + state` holds if `g` evaluates to `edge`.
+   * Holds if `left < large + state` holds if `g` evaluates to `edge`, where `large` is some
+   * value that is equal to the size argument of an allocation.
    */
   private predicate operandGuardChecks(IRGuardCondition g, Operand left, int state, boolean edge) {
     exists(DataFlow::Node nLeft, DataFlow::Node nRight, int k |

Original file line number	Diff line number	Diff line change
`@@ -128,7 +128,8 @@ private module SizeBarrier {`
`128`	`128`	`}`
`129`	`129`
`130`	`130`	`/**`
`131`		- * Holds if `small < large + state` holds if `g` evaluates to `edge`.
	`131`	+ * Holds if `left < large + state` holds if `g` evaluates to `edge`, where `large` is some
	`132`	`+ * value that is equal to the size argument of an allocation.`
`132`	`133`	`*/`
`133`	`134`	`private predicate operandGuardChecks(IRGuardCondition g, Operand left, int state, boolean edge) {`
`134`	`135`	`exists(DataFlow::Node nLeft, DataFlow::Node nRight, int k \|`