hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Update shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll

Browse Source 
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
This commit is contained in:
Geoffrey White
2024-03-01 17:06:48 +00:00
committed by GitHub
parent 0e24ed14da
commit c663809cc7
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll
View File

@@ -393,7 +393,10 @@ signature module BoundSig<LocationSig Location, Semantic Sem, DeltaSig D> {
Location getLocation();
/**
* Gets the expression associated with the semantic bound, given a delta.
* Gets an expression that equals this bound plus `delta`.
*
* 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`.
*/
Sem::Expr getExpr(D::Delta delta);
}