JS: Remove obsolete overlay[global] annotations

This commit is contained in:
Asger F
2025-10-31 09:35:40 +01:00
parent 0594f84dfc
commit 6498cd1b07
2 changed files with 0 additions and 2 deletions

View File

@@ -102,7 +102,6 @@ module DataFlow {
* Holds if this data flow node accesses the global variable `g`, either directly
* or through the `window` object.
*/
overlay[global]
predicate accessesGlobal(string g) { globalVarRef(g).flowsTo(this) }
/** Holds if this node may evaluate to the string `s`, possibly through local data flow. */

View File

@@ -791,7 +791,6 @@ ModuleImportNode dependencyModuleImport(Dependency dep) {
* the given `path`, or accesses `m` as a member on a default or
* namespace import from `path`.
*/
overlay[global]
DataFlow::SourceNode moduleMember(string path, string m) {
result = moduleImport(path).getAPropertyRead(m)
}