From fdbd49a843b0ed77f4dc39d2c9cc58b68f2f82f1 Mon Sep 17 00:00:00 2001 From: Simon Friis Vindum Date: Fri, 20 Feb 2026 13:38:24 +0100 Subject: [PATCH] C++: Improve clarity in comment Co-authored-by: Mathias Vorreiter Pedersen --- .../lib/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpp/ql/lib/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll b/cpp/ql/lib/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll index 3bf729836fc..c41c221898b 100644 --- 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`. //