Merge pull request #18488 from geoffw0/cleanup

jketema · web-flow · commit 4951571dd4fc · 2025-01-14T10:46:56.000+01:00
C++: Fix a couple of typos.
diff --git a/cpp/ql/lib/semmle/code/cpp/rangeanalysis/RangeAnalysisUtils.qll b/cpp/ql/lib/semmle/code/cpp/rangeanalysis/RangeAnalysisUtils.qll
@@ -121,11 +121,11 @@ predicate relOpWithSwapAndNegate(
 }
 
 /**
- * Holds if `cmp` is an equality operation (`==` or `!=`) with  fully-converted
+ * Holds if `cmp` is an equality operation (`==` or `!=`) with fully-converted
  * children `lhs` and `rhs`, and `isEQ` is true if `cmp` is an
  * `==` operation and false if it is an `!=` operation.
  *
- * For example, if `rel` is `x == 5` then
+ * For example, if `cmp` is `x == 5` then
  * `eqOpWithSwap(cmp, x, 5, true)` holds.
  */
 private predicate eqOp(EqualityOperation cmp, Expr lhs, Expr rhs, boolean isEQ) {

Original file line number	Diff line number	Diff line change
`@@ -121,11 +121,11 @@ predicate relOpWithSwapAndNegate(`
`121`	`121`	`}`
`122`	`122`
`123`	`123`	`/**`
`124`		- * Holds if `cmp` is an equality operation (`==` or `!=`) with fully-converted
	`124`	+ * Holds if `cmp` is an equality operation (`==` or `!=`) with fully-converted
`125`	`125`	* children `lhs` and `rhs`, and `isEQ` is true if `cmp` is an
`126`	`126`	* `==` operation and false if it is an `!=` operation.
`127`	`127`	`*`
`128`		- * For example, if `rel` is `x == 5` then
	`128`	+ * For example, if `cmp` is `x == 5` then
`129`	`129`	* `eqOpWithSwap(cmp, x, 5, true)` holds.
`130`	`130`	`*/`
`131`	`131`	`private predicate eqOp(EqualityOperation cmp, Expr lhs, Expr rhs, boolean isEQ) {`