C++: Update QLDoc.

geoffw0 · geoffw0 · commit 0818c1d7038a · 2021-04-09T18:11:48.000+01:00
diff --git a/cpp/ql/src/Security/CWE/CWE-191/UnsignedDifferenceExpressionComparedZero.ql b/cpp/ql/src/Security/CWE/CWE-191/UnsignedDifferenceExpressionComparedZero.ql
@@ -31,7 +31,8 @@ predicate isGuarded(SubExpr sub, Expr left, Expr right) {
 }
 
 /**
- * Holds if `e` is known to be less than or equal to `sub.getLeftOperand()`.
+ * Holds if `e` is known or suspected to be less than or equal to
+ * `sub.getLeftOperand()`.
  */
 predicate exprIsSubLeftOrLess(SubExpr sub, Expr e) {
   e = sub.getLeftOperand()

Original file line number	Diff line number	Diff line change
`@@ -31,7 +31,8 @@ predicate isGuarded(SubExpr sub, Expr left, Expr right) {`
`31`	`31`	`}`
`32`	`32`
`33`	`33`	`/**`
`34`		- * Holds if `e` is known to be less than or equal to `sub.getLeftOperand()`.
	`34`	+ * Holds if `e` is known or suspected to be less than or equal to
	`35`	+ * `sub.getLeftOperand()`.
`35`	`36`	`*/`
`36`	`37`	`predicate exprIsSubLeftOrLess(SubExpr sub, Expr e) {`
`37`	`38`	`e = sub.getLeftOperand()`