hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 08:45:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Fix incorrect QLDoc.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-12-16 14:02:06 +00:00
parent 5a90b25c45
commit 913357b70d
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
View File

@@ -818,7 +818,7 @@ private module Cached {
/**
* Holds if `left == right + k` is `areEqual` given that test is `testIsTrue`.
*
* Beware making mistaken logical implications here relating `areEqual` and `testIsTrue`.
* Beware making mistaken logical implications here relating `areEqual` and `value`.
*/
cached
predicate compares_eq(
@@ -1093,7 +1093,7 @@ private module Cached {
* Simplify conditions in the source to the canonical form l < r + k.
*/
/** Holds if `left < right + k` evaluates to `isLt` given that test is `testIsTrue`. */
/** Holds if `left < right + k` evaluates to `isLt` given that test is `value`. */
cached
predicate compares_lt(
ValueNumber test, Operand left, Operand right, int k, boolean isLt, AbstractValue value