Skip to content

Commit c663809

Browse files
geoffw0aschackmull
andauthored
Update shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll
Co-authored-by: Anders Schack-Mulligen <[email protected]>
1 parent 0e24ed1 commit c663809

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -393,7 +393,10 @@ signature module BoundSig<LocationSig Location, Semantic Sem, DeltaSig D> {
393393
Location getLocation();
394394

395395
/**
396-
* Gets the expression associated with the semantic bound, given a delta.
396+
* Gets an expression that equals this bound plus `delta`.
397+
*
398+
* For the zero-bound this gets integer constants equal to `delta`, and for
399+
* other bounds this gets expressions equal to the bound while `delta = 0`.
397400
*/
398401
Sem::Expr getExpr(D::Delta delta);
399402
}

0 commit comments

Comments
 (0)