Skip to content

Commit fdbd49a

Browse files
paldepindMathiasVP
andauthored
C++: Improve clarity in comment
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
1 parent d0681c6 commit fdbd49a

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

cpp/ql/lib/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -560,7 +560,7 @@ private module BoundsEstimate {
560560
// by the condition. In this case all lower bounds flow to `{ e1 }` and only
561561
// lower bounds that are smaller than `c` flow to `{ e2 }`.
562562
//
563-
// The largest bound possible for `e3` is the number of bounds on `x` plus
563+
// The largest number of bounds possible for `e3` is the number of bounds on `x` plus
564564
// one. This happens when all bounds flow from `x` to `e1` to `e3` and the
565565
// bound `c` can flow to `e2` to `e3`.
566566
//

0 commit comments

Comments
 (0)