JS: Remove unused predicate

This commit is contained in:
Asger F
2025-10-10 10:05:08 +02:00
parent 3ed0f36bb1
commit 6c00a7fb96

View File

@@ -791,14 +791,6 @@ module API {
private predicate hasSemantics(DataFlow::Node nd) { not nd.getTopLevel().isExterns() }
/** Holds if `imp` is an import of module `m`. */
private predicate imports(DataFlow::Node imp, string m) {
imp = DataFlow::moduleImport(m) and
// path must not start with a dot or a slash
m.regexpMatch("[^./].*") and
hasSemantics(imp)
}
private signature module StageInputSig {
/** Holds if `node` should be seen as a use-node root, in addition to module imports (which are the usual roots). */
predicate isAdditionalUseRoot(Node node);