C++: Fix more QLDoc.

MathiasVP · MathiasVP · commit 98396d1e9a30 · 2024-03-18T13:55:20.000Z
diff --git a/cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
@@ -636,7 +636,7 @@ private predicate compares_eq(
   )
 }
 
-/** Holds if `op == k` is `areEqual` given that `test` is `testIsTrue`. */
+/** Holds if `op == k` is `areEqual` given that `test` is equal to `value`. */
 private predicate compares_eq(
   Instruction test, Operand op, int k, boolean areEqual, AbstractValue value
 ) {

Original file line number	Diff line number	Diff line change
`@@ -636,7 +636,7 @@ private predicate compares_eq(`
`636`	`636`	`)`
`637`	`637`	`}`
`638`	`638`
`639`		-/** Holds if `op == k` is `areEqual` given that `test` is `testIsTrue`. */
	`639`	+/** Holds if `op == k` is `areEqual` given that `test` is equal to `value`. */
`640`	`640`	`private predicate compares_eq(`
`641`	`641`	`Instruction test, Operand op, int k, boolean areEqual, AbstractValue value`
`642`	`642`	`) {`