diff --git a/shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll b/shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll index 0337f7683d6..103a49ebdbf 100644 --- a/shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll +++ b/shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll @@ -393,7 +393,9 @@ signature module BoundSig { Location getLocation(); /** - * Gets an expression that equals this bound plus `delta`. + * Gets an expression that equals this bound plus `delta`. For example given + * the expression `x = foo() + 1` the variable `x` has a bound with + * expression `call to foo()` and delta `-1`. * * For the zero-bound this gets integer constants equal to `delta`, and for * other bounds this gets expressions equal to the bound while `delta = 0`.