Run config/sync-files.py

github · kaspersv · May 30, 2025 · Jun 16, 2025 · Jun 16, 2025 · Jun 13, 2025
commit d0feec9168ae9bf9dd31a42397eb258eb16ceddb
@@ -1,6 +1,8 @@
 /**
  * Provides classes for representing abstract bounds for use in, for example, range analysis.
  */
+overlay[local?]
+module;
 
 private import internal.rangeanalysis.BoundSpecific
 

@@ -3,6 +3,8 @@
  * an expression, `b` is a `Bound` (typically zero or the value of an SSA
  * variable), and `v` is an integer in the range `[0 .. m-1]`.
  */
+overlay[local?]
+module;
 
 private import internal.rangeanalysis.ModulusAnalysisSpecific::Private
 private import Bound

@@ -1,3 +1,6 @@
+overlay[local?]
+module;
+
 newtype TSign =
   TNeg() or
   TZero() or

@@ -5,6 +5,8 @@
  * The analysis is implemented as an abstract interpretation over the
  * three-valued domain `{negative, zero, positive}`.
  */
+overlay[local?]
+module;
 
 private import SignAnalysisSpecific::Private
 private import SsaReadPositionCommon

@@ -1,6 +1,8 @@
 /**
  * Provides classes for representing a position at which an SSA variable is read.
  */
+overlay[local?]
+module;
 
 private import SsaReadPositionSpecific
 import SsaReadPositionSpecific::Public

@@ -4,6 +4,8 @@
  * Provides predicates for recommended encryption key sizes.
  * Such that we can share this logic across our CodeQL analysis of different languages.
  */
+overlay[local?]
+module;
 
 /** Returns the minimum recommended key size for RSA. */
 int minSecureKeySizeRsa() { result = 2048 }