We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent fdbd49a commit 8eed18aCopy full SHA for 8eed18a
cpp/ql/lib/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll
@@ -586,7 +586,7 @@ private module BoundsEstimate {
586
// "other" half flow from the condition to `e3` as a guard phi node.
587
exists(float varBounds |
588
// If there's different `access`es, then they refer to the same
589
- // variable with the same lower bounds. Hence adding these guards make no
+ // variable with the same lower bounds. Hence adding these guards makes no
590
// sense (the implementation will take the union, but they'll be removed by
591
// deduplication). Hence we use `max` as an approximation.
592
varBounds =
0 commit comments