Mark various files as overlay[local]

owen-mc · owen-mc · commit 9faada03d0c3 · 2026-03-11T14:28:58.000Z
diff --git a/go/ql/lib/semmle/go/AST.qll b/go/ql/lib/semmle/go/AST.qll
@@ -1,7 +1,7 @@
 /**
  * Provides classes for working with AST nodes.
  */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/Architectures.qll b/go/ql/lib/semmle/go/Architectures.qll
@@ -1,5 +1,5 @@
 /** Provides classes for working with architectures. */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/Comments.qll b/go/ql/lib/semmle/go/Comments.qll
@@ -1,7 +1,7 @@
 /**
  * Provides classes for working with code comments.
  */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/Decls.qll b/go/ql/lib/semmle/go/Decls.qll
@@ -1,7 +1,7 @@
 /**
  * Provides classes for working with declarations.
  */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/DiagnosticsReporting.qll b/go/ql/lib/semmle/go/DiagnosticsReporting.qll
@@ -1,5 +1,5 @@
 /** Provides classes for working with errors and warnings recorded during extraction. */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/Errors.qll b/go/ql/lib/semmle/go/Errors.qll
@@ -1,5 +1,5 @@
 /** Provides classes for working with Go frontend errors recorded during extraction. */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/Expr.qll b/go/ql/lib/semmle/go/Expr.qll
@@ -1,7 +1,7 @@
 /**
  * Provides classes for working with expressions.
  */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/Files.qll b/go/ql/lib/semmle/go/Files.qll
@@ -1,5 +1,5 @@
 /** Provides classes for working with files and folders. */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/GoMod.qll b/go/ql/lib/semmle/go/GoMod.qll
@@ -1,7 +1,7 @@
 /**
  * Provides classes for working with go.mod files.
  */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/HTML.qll b/go/ql/lib/semmle/go/HTML.qll
@@ -1,5 +1,5 @@
 /** Provides classes for working with HTML documents. */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/Locations.qll b/go/ql/lib/semmle/go/Locations.qll
@@ -1,5 +1,5 @@
 /** Provides classes for working with locations and program elements that have locations. */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/Packages.qll b/go/ql/lib/semmle/go/Packages.qll
@@ -1,7 +1,7 @@
 /**
  * Provides classes for working with packages.
  */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/PrintAst.qll b/go/ql/lib/semmle/go/PrintAst.qll
@@ -1,7 +1,7 @@
 /**
  * Provides queries to pretty-print a Go AST as a graph.
  */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/Scopes.qll b/go/ql/lib/semmle/go/Scopes.qll
@@ -1,7 +1,7 @@
 /**
  * Provides classes for working with scopes and declared objects.
  */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/Stmt.qll b/go/ql/lib/semmle/go/Stmt.qll
@@ -1,7 +1,7 @@
 /**
  * Provides classes for working with statements.
  */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/Types.qll b/go/ql/lib/semmle/go/Types.qll
@@ -1,7 +1,7 @@
 /**
  * Provides classes for working with Go types.
  */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/Util.qll b/go/ql/lib/semmle/go/Util.qll
@@ -1,5 +1,5 @@
 /** This module provides general utility classes and predicates. */
-overlay[local?]
+overlay[local]
 module;
 
 /**
diff --git a/go/ql/lib/semmle/go/VariableWithFields.qll b/go/ql/lib/semmle/go/VariableWithFields.qll
@@ -1,5 +1,5 @@
 /** Provides the `VariableWithFields` class, for working with variables with a chain of field or element accesses chained to it. */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/concepts/GeneratedFile.qll b/go/ql/lib/semmle/go/concepts/GeneratedFile.qll
@@ -1,5 +1,5 @@
 /** Provides a class for generated files. */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/controlflow/BasicBlocks.qll b/go/ql/lib/semmle/go/controlflow/BasicBlocks.qll
@@ -1,7 +1,7 @@
 /**
  * Provides classes for working with basic blocks.
  */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/controlflow/ControlFlowGraph.qll b/go/ql/lib/semmle/go/controlflow/ControlFlowGraph.qll
@@ -1,7 +1,7 @@
 /**
  * Provides classes for working with a CFG-based program representation.
  */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/controlflow/ControlFlowGraphImpl.qll b/go/ql/lib/semmle/go/controlflow/ControlFlowGraphImpl.qll
@@ -3,7 +3,7 @@
  *
  * Provides predicates for building intra-procedural CFGs.
  */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/controlflow/IR.qll b/go/ql/lib/semmle/go/controlflow/IR.qll
@@ -9,7 +9,7 @@
  * Each instruction is also a control-flow node, but there are control-flow nodes that are not
  * instructions (synthetic entry and exit nodes, as well as no-op skip nodes).
  */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/dataflow/FunctionInputsAndOutputs.qll b/go/ql/lib/semmle/go/dataflow/FunctionInputsAndOutputs.qll
@@ -2,7 +2,7 @@
  * Provides QL classes for indicating data flow through a function parameter, return value,
  * or receiver.
  */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/dataflow/GlobalValueNumbering.qll b/go/ql/lib/semmle/go/dataflow/GlobalValueNumbering.qll
@@ -29,7 +29,7 @@
  * common reason for this is that the analysis cannot prove that there
  * are no side-effects that might cause the computed value to change.
  */
-overlay[local?]
+overlay[local]
 module;
 
 /*
diff --git a/go/ql/lib/semmle/go/dataflow/Properties.qll b/go/ql/lib/semmle/go/dataflow/Properties.qll
@@ -1,7 +1,7 @@
 /**
  * Provides a class for representing and reasoning about properties of data-flow nodes.
  */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/dataflow/SSA.qll b/go/ql/lib/semmle/go/dataflow/SSA.qll
@@ -1,7 +1,7 @@
 /**
  * Provides classes for working with static single assignment form (SSA).
  */
-overlay[local?]
+overlay[local]
 module;
 
 import go
diff --git a/go/ql/lib/semmle/go/dataflow/SsaImpl.qll b/go/ql/lib/semmle/go/dataflow/SsaImpl.qll
@@ -3,7 +3,7 @@
  *
  * Provides predicates for constructing an SSA representation for functions.
  */
-overlay[local?]
+overlay[local]
 module;
 
 import go
