From 2a3cff382c4ffa044637d601a1e5946dd05ab87a Mon Sep 17 00:00:00 2001 From: BazookaMusic Date: Mon, 1 Jun 2026 18:20:50 +0200 Subject: [PATCH] more specific comment --- shared/rangeanalysis/codeql/rangeanalysis/Bound.qll | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/shared/rangeanalysis/codeql/rangeanalysis/Bound.qll b/shared/rangeanalysis/codeql/rangeanalysis/Bound.qll index 13a3132c283..a39871000d9 100644 --- a/shared/rangeanalysis/codeql/rangeanalysis/Bound.qll +++ b/shared/rangeanalysis/codeql/rangeanalysis/Bound.qll @@ -38,7 +38,9 @@ signature module BoundDefinitions { predicate interestingExprBound(Expr e); } -/** Provides classes for representing abstract bounds for use in, for example, range analysis. */ +/** Provides classes for representing abstract bounds for use in, for example, range analysis. + * This is a generic implementation of bounds that relies on language specific modules to provide language-specific definitions of expressions, SSA variables, etc. +*/ overlay[local?] module Bound Defs> { private import Defs