C++: Improve clarity in comment

paldepind · MathiasVP · web-flow · commit fdbd49a843b0 · 2026-02-20T13:38:24.000+01:00
Co-authored-by: Mathias Vorreiter Pedersen &lt;mathiasvp@github.com&gt;
diff --git a/cpp/ql/lib/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll b/cpp/ql/lib/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll
@@ -560,7 +560,7 @@ private module BoundsEstimate {
     // by the condition. In this case all lower bounds flow to `{ e1 }` and only
     // lower bounds that are smaller than `c` flow to `{ e2 }`.
     //
-    // The largest bound possible for `e3` is the number of bounds on `x` plus
+    // The largest number of bounds possible for `e3` is the number of bounds on `x` plus
     // one. This happens when all bounds flow from `x` to `e1` to `e3` and the
     // bound `c` can flow to `e2` to `e3`.
     //
