Skip to content

Commit 2a3cff3

Browse files
committed
more specific comment
1 parent c610af8 commit 2a3cff3

1 file changed

Lines changed: 3 additions & 1 deletion

File tree

  • shared/rangeanalysis/codeql/rangeanalysis

shared/rangeanalysis/codeql/rangeanalysis/Bound.qll

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -38,7 +38,9 @@ signature module BoundDefinitions<LocationSig Location> {
3838
predicate interestingExprBound(Expr e);
3939
}
4040

41-
/** Provides classes for representing abstract bounds for use in, for example, range analysis. */
41+
/** Provides classes for representing abstract bounds for use in, for example, range analysis.
42+
* This is a generic implementation of bounds that relies on language specific modules to provide language-specific definitions of expressions, SSA variables, etc.
43+
*/
4244
overlay[local?]
4345
module Bound<LocationSig Location, BoundDefinitions<Location> Defs> {
4446
private import Defs

0 commit comments

Comments
 (0)