JS: Add missing def-node roots

This commit is contained in:
Asger F
2025-11-28 10:13:13 +01:00
parent 123bc64091
commit 271567c88f

View File

@@ -1008,6 +1008,9 @@ module API {
rhs(_, _, rhs) and
S::inScope(rhs) and
nd = MkDef(rhs)
or
S::isAdditionalDefRoot(nd) and
nd = mkDefLate(rhs)
}
/**
@@ -1287,6 +1290,10 @@ module API {
pragma[inline_late]
private TApiNode mkUseLate(DataFlow::Node node) { result = MkUse(node) }
bindingset[node]
pragma[inline_late]
private TApiNode mkDefLate(DataFlow::Node node) { result = MkDef(node) }
private import semmle.javascript.dataflow.TypeTracking
/**