Skip to content

Commit 9d5c785

Browse files
committed
C++: Even more fix'ing QLDoc.
1 parent 09d0385 commit 9d5c785

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisStage.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1194,8 +1194,8 @@ module RangeStage<DeltaSig D, BoundSig<D> Bounds, LangSig<D> LangParam, UtilSig<
11941194
* Holds if `isLeft = true` and `mul`'s left operand is bounded by `delta`,
11951195
* or if `isLeft = false` and `mul`'s right operand is bounded by `delta`.
11961196
*
1197-
* If `upper = true` the computed bound contributes to an upper bound of the
1198-
* operand, and if `upper = false` it contributes to a lower bound.
1197+
* If `upper = true` the computed bound contributes to an upper bound of `mul`,
1198+
* and if `upper = false` it contributes to a lower bound.
11991199
* The `fromBackEdge`, `origdelta`, `reason` triple are defined by the recursive
12001200
* call to `bounded`.
12011201
*/

0 commit comments

Comments
 (0)